From dbd9a3aab383211156a1a85bddc60395f9c2d1cd Mon Sep 17 00:00:00 2001
From: Marcel Moolenaar <marcel@FreeBSD.org>
Date: Fri, 28 May 2010 17:50:35 +0000
Subject: [PATCH] The EFI system partition used to make the CD image bootable
 is running out of space. Bump it up...

---
 release/ia64/mkisoimages.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/release/ia64/mkisoimages.sh b/release/ia64/mkisoimages.sh
index dba79b360aaf..192228b5f55f 100644
--- a/release/ia64/mkisoimages.sh
+++ b/release/ia64/mkisoimages.sh
@@ -67,7 +67,7 @@ EFIPART=efipart.sys
 # To create a bootable CD under EFI, the boot image should be an EFI
 # system partition.
 if [ $bootable = yes ]; then
-    EFISZ=40960
+    EFISZ=65536
     MNT=/mnt
     dd if=/dev/zero of=$BASE/$EFIPART count=$EFISZ
     md=`mdconfig -a -t vnode -f $BASE/$EFIPART`