[PATCH 1/2] boot: enable booting via EFI boot manager by default