Re: [PATCH v6 0/6] enable menu-driven boot device selection