Do not build the 32-bit UEFI loader.