[Concept] [PATCH 09/18] boot: Drop an unwanted blank line in distro_efi_boot()