Is it possible to add 32 bit EFI boot? it is just add a new new efi grub install line with --target=i386-efi