[13:09] wxl: can you check if you can boot your 32 bit iso please :)