[PATCH v2 4/4] boot: correct finding the default EFI binary