Re: [PATCH] bootmeth: efi: Make distro_efi_boot() static