This is in preparation for moving the ioapic device model from userspace to vmm.ko. Reviewed by: grehan