Re: [arch-releng] [RFCv4] [PATCH] [configs/releng] Add UEFI boot support via Linux >= 3.3 EFI boot stub on x86_64