Re: [PATCH v3 03/25] bootmenu: Add a few comments