replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Use monitor/mwait function that were already there

Refactored some of the code, have a function that checks for monitor/mwait
support before.

Added architecture specific switches to the kernel files.

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

Mackerel now allows "noaddr" registers, which can model co-processors, etc.
This allows considerable cleanup in the x86 code; 32-bit on the way soon.
Redundant ia32_spaces header, since this was not used.
Documented extensions to Mackerel syntax.

Fixed weird crashing bug.

--HG--
rename : devices/x86_64_pagetable.dev => devices/amd64.dev

Fixed several serious Mackerel bugs (including access to fields in datatypes larger than 64 bits)
Added support for register types to be constant types.
Converted ia32_dev to the Shift driver rather than the old Bitfield driver.

Initial version of public stable barrelfish repository.