[PATCH v4 00/11] enable menu-driven boot device selection