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