replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

spawnd: reorganized code to eliminate duplicate get_core_id() call.

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

spawnd: clarify "up" message with core id.

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

Add BF_BINARY_PREFIX define to configure binary path by build system.

Remove the core boot state machine from spawnd.

This achieves the following: We no longer have duplicated code in kaluga and
spawnd. And spawnd only does what it's intended to do (spawning programs on
the core it's running on).

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

Refactor: Make 'cpu_type_to_archstr' a static inline function and move it to
header file where the enum cputype is defined.

Fix error in simple skb and spawnd ifdef.

Don't use Kaluga on ARM and SCC for now. Need to think of better
integration with these two architectures.

Added ifdefs for spawnd in case device manager is running.
This prevents spawnd from booting cores.

--HG--
branch : octopus.add-device-mngr

Trying to boot cores in device manager / disabled booting in spawnd.
This is currently work in progress.

--HG--
branch : octopus.add-device-mngr

Boots correctly for both freec and newlib

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.