Re: [arch-releng] efiboot question