Don't list 32bit in the BIOS bootloader