Re: [PATCH 1/1] cmd: eficonfig: create shortened boot options