+ echo "Generated 64-bit EFI image $BOOTX64"
+elif ifclass I386 ; then
+ if ! [ -r "${target}/${BOOTX32}" ] ; then
+ echo "Can not access grub efi image ${BOOTX32}." >&2
+ exit 1
+ fi
+
+ dd if=/dev/zero of="${target}/${EFI_IMG}" bs=4M count=1 2>/dev/null
+ $ROOTCMD mkfs.vfat -n GRML "$EFI_IMG" >/dev/null
+ $ROOTCMD mmd -i "$EFI_IMG" ::EFI
+ $ROOTCMD mmd -i "$EFI_IMG" ::EFI/BOOT
+ $ROOTCMD mcopy -i "$EFI_IMG" "$BOOTX32" ::EFI/BOOT/bootia32.efi >/dev/null
+ echo "Generated 32-bit EFI image $BOOTX32"