Handbook Talk:X86/Installation/Bootloader

GRUB2
There is a mistake about the platform target: GRUB_PLATFORM="efi-32" (cf. GRUB2) -- Feng (talk) 11:02, 10 October 2016 (UTC)

Efibootmgr
UEFI images are defined for several architectures or "machines types". The EFI stub kernel is a UEFI image and is named bootIA32.efi because the machine type for the x86 architecture seems to be "IA32" in the UEFI specification.

''See UEFI Specification Version 2.6, 3.5.1.1 Removable Media Boot Behavior, p. 90 -- Feng (talk) 11:02, 10 October 2016 (UTC)