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