From 1cf165afe7ea0188d85fa96d7b7480935b4edcb8 Mon Sep 17 00:00:00 2001
From: Marcel Moolenaar <marcel@FreeBSD.org>
Date: Tue, 8 Apr 2008 02:57:59 +0000
Subject: [PATCH] Increase the size of the EFI system partition from 16M to
 20M. We just ran out of space...

---
 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 52a9f4a2c9dc..dba79b360aaf 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=32768
+    EFISZ=40960
     MNT=/mnt
     dd if=/dev/zero of=$BASE/$EFIPART count=$EFISZ
     md=`mdconfig -a -t vnode -f $BASE/$EFIPART`