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