[PATCH 1/2] Fixup TUI source to work with kickstart