vesa: fix error message (interval display)
pci: no parsing errors if no config file
run: remove files of seoul-auto script
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
run: support target serial for base-nova

Issue #683
noux: start time measuring with first noux output

Don't account the boottime to the actual compile time - since it varies quite
a lot if somebody else utilize the network with lwip tests for example ;-).
terminal: refresh only if output changed
noux: add verbose config parameter

Explicitly enable verbose output if required.
ldso: be quiet by default
signal test: let sender yield CPU when idle

ref #574
hw: fix in signal-ack handling in kernel

ref #574
hw: don't unmask timer IRQ on any kernel pass

ref #855
hw: touch kernel scheduler and timer less often

fix #857
fix #855
foc: print line numbers in decimal on assert
base: fix thread_cap initialization

Fixes #842
base: fix pausing tracing subjects

Fixes #858.