[PATCH v3 00/25] bootstd: Add a boot menu