xen_events.c - Drop interrupt_event->enabled and refactor
Decline to provide default for interrupt reinjection behaviour, and require that the interrupt callback set reinject explicitly (i.e., developer is more knowledgeable here)