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