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