Symbol: XBI_UEFI_ARCH_32
usr/src/uts/i86pc/dboot/dboot_startkern.c
1873
bi->bi_uefi_arch = XBI_UEFI_ARCH_32;
usr/src/uts/i86pc/os/fakebop.c
2951
} else if (xbp->bi_uefi_arch == XBI_UEFI_ARCH_32) {