[arch-releng] efiboot question

[Mr Green]

I do not have make_boot_efi in my build script, better go looking for it 
for standard kernel build =-O

MrG