replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

systime: introducing system time based on time stamp counter/global timer, removing kernel_now

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

Removed some of the earlier printfs.

Some bugfixes in the xeon phi host driver to make it run on QEMU.

Multicore support for the Xeon Phi

- Adapted the xapic.dev to account for the special register layout in
icr and id register
- added switches to use alternative register layout in apic.c
- added APIC and FLASH memoryhole in mmap
- Bugfix: Wrong CPU information (cpu_arch.h)
- Added: delay_ms assembly that stalls the CPU some time (needed for
booting the cores)
- Some fixes with memory offsets in startu parch
- Added: support for pagetables that map MMIO range of the xeon phi in
init_ap.S
- Added Delays in start_aps
- Adpted offset in entry.S fo match for the new layout
- Removed Global Flag for the valid page table bits
- Disabled activation of MMX

Added architecture specific switches to the kernel files.

Refactoring core boot-up logic in kernel.

Move architecture independent logic into single arch-independent
syscall for all platforms. Handle arch specific boot-up with
specialized function (usually defined in start_aps.c).

Initial version of public stable barrelfish repository.