diff --git a/release/amd64/mkisoimages.sh b/release/amd64/mkisoimages.sh
index 66f7c945c6c..8b71fcb660d 100644
--- a/release/amd64/mkisoimages.sh
+++ b/release/amd64/mkisoimages.sh
@@ -38,7 +38,7 @@ if [ "$1" = "-b" ]; then
 	umount efi
 	rmdir efi
 	mdconfig -d -u $device
-	bootable="-o bootimage=efi;efiboot.img -o no-emul-boot $bootable"
+	bootable="-o bootimage=i386;efiboot.img -o no-emul-boot $bootable -o platformid=efi"
 	
 	shift
 else