Build the 32-bit UEFI loader.