Bodhi 6.0 fails to boot on 32 bit UEFI