[arch-releng] efiboot question