Re: [PATCH v13 6/9] eficonfig: add "Change Boot Order" menu entry