islet_shell: store some variables for later, could be useful
islet_shell: unset banner so that last sourced isn't displayed