Setup kmain() to load the shell by default