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