Fix a minor build issue with the events.h header by vague-ifying the first argument to mark_event_handlers. Note this is to help things building after installation, not the initial build.
Update the GHC<->Xen time infrastructure, to reflect new changes in GHC.