seoul: refresh console only if required

Speeds up kernelbuild by over 35% !!!
seoul: support headless mode

+ run kernelbuild in headless mode, output dumped via serial output