[PATCH 00/24] bootstd: Add a boot menu