[PATCH] bootmenu: Allow to quit it via CTRL+C