[RESEND RFC PATCH v2 0/4] enable menu-driven boot device selection