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