+ # Build a GRUB EFI image
+ grub-mkimage \
+ --format=$(BUILD_ARCH)-efi \
+ --output=/tmp/boot$(EFI_ARCH).efi \
+ --config=$(DIR_SRC)/config/cdrom/grub-efi.cfg \
+ --compression=xz \
+ --prefix=/EFI/BOOT \
+ $(GRUB_EFI_MODULES)
+
+ # Mount the EFI image
+ mkdir -pv /install/efiboot.img
+ mount -o loop /install/cdrom/boot/isolinux/efiboot.img /install/efiboot.img
+
+ # Copy the bootloader into the image
+ mkdir -pv /install/efiboot.img/EFI/BOOT
+ cp -a /tmp/boot$(EFI_ARCH).efi /install/efiboot.img/EFI/BOOT/boot$(EFI_ARCH).efi
+
+ # Cleanup
+ umount /install/efiboot.img
+ rm -rf /install/efiboot.img /tmp/boot$(EFI_ARCH).efi