boot - ...Only necessary if running the fully interactive command-line (it is implicit at the end of a menu entry). Does reordering the menu options do anything different? Perhaps some weird end of file bug?