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