Fix masks for set_route / set_masked / set_nmi.
Add support for a 64bit user context in irq stubs.
Provide a unified types header.
PIT as a first programmable timer source.
Implement LAPIC calibration and PIT access.
Remove leftover padding..