Update iso_efi to use gummiboot