XBI_UEFI_ARCH_32
bi->bi_uefi_arch = XBI_UEFI_ARCH_32;
} else if (xbp->bi_uefi_arch == XBI_UEFI_ARCH_32) {