replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Initial import of block device refactoring.

- Refactors existing AHCI code to use device queue interface.
- Adds harness test for disks.
- Adds some minor improvements for scalebench harness.
- Disable vtd due to some bug with the identity mapping on babybel machines.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Conflicts:
usr/acpi/acpi_main.c

Added AHCI driver (ahcid), AHCI user-space library (libahci), AHCI Flounder backend, block device file system (in libvfs), and various tests and benchmarks for the above.
Source: Distributed Systems Lab: A Messaging Interface to Disks (Manuel Stocker, Mark Nevill, Simon Gerber).

Initial version of public stable barrelfish repository.