replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Various small fixes (some based on clang errors).
Xeon Phi Host Driver - Initialization of the PCI device - Interrupt enable/disable - SMPT management - Reset sequence - Diverse additions to the mackerel device specification