Re: [PATCH v10 05/10] eficonfig: add "Change Boot Order" menu entry