armv7: Enable serial driver on pandaboard

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

armv7,armv8: Add process manager to targets and menu.lsts

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

hake: armv7_gem5_vexpressemm: Fix armv7 gem5 menu.lst to supply a device db to kaluga

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel/logging: Change default log level to LOG_NOTE

The previous default was LOG_DEBUG with an incorrect level check on the
kernel debug macro.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

ARMv7: Add SKB records for ARMv7 cores in Kaluga.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: Rewrote serial drivers on ARM.

They're now fairly well compartmentalised on both ARM and x86, and can start
automatically from Kaluga. There's also a 'kernel' serial driver, which uses
the syscall interface to read and write on the kernel console. This avoids
having user level and kernel code racing on access to the UART. Fish works
(minus line editing) on all Versatile Express platforms.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>