Finish merge with current master.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

Refactored ARMv7-A code.
Cleaner startup process.
Cleaner cross-platform portability (platform.h).
Removed ARMv5.
Removed ARMv7-m
Removed XScale
Changed kernel device paging interface and fixed bugs.

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

serial: unify the kernel serial interface again

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

Cleaning up the serial init on x86.

If serial_init initializes it will disable the IRQ for UART. That is
a problem in case the serial driver has already registered for the
IRQ. The keyboard will stop working in that case.

Removed old KNC devices Added: Xeon Phi Boot Devices Added: Xeon Phi host driver Fixed: compilation issue with serial Adapted: use of mackerel for xeon phi serial driver.

Added architecture specific switches to the kernel files.

Added: initial version of new xeon phi loader

Added: Linux boot param structure for getting the information from the boot loader Added: K1OM specific offsets and files Removed: Unsupported assembly instructions from the code Changed hake gcc to k1om-mpps-linux-gcc Added auto upload to babybel when building target k1om

New serial interface inside the CPU driver.

Initial version of public stable barrelfish repository.