x86_64: make all targets compile

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

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

rename MAX_CPUS to MAX_COREID, and increase it to 254 (to match an 8-bit coreid_t)

* Kludged around the limitations of coremask_t enough to keep rcap_db_null compiling.
* Removed the config option that allowed users to lower it. this
doesn't make much sense any more, unless we are going in for really
silly compile-time optimisations. This change requires updating
Config.hs

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.