[PATCH 0/3] Enable bootmenu, and button-kbd driver for menu entry navigation.