grub2-2.00-9-x86_64
* patch grub-mkrescue so it will append the UEFI FAT16 image
* to the end of the generated ISO so it can be booted from
* hard drive UEFI mode