[RFC PATCH v3 0/2] enable menu-driven boot device selection