[PATCH 0/3] enable menu-driven boot device selection