restore console settings (set console) if initial console-setup was run behind a splash
(splash restores settings on exit from time of splash start, so reverting initial console-setup)