BXE: interrupt registration

Can alloc, but can't teardown.  We need to do it at boot time too, since our
register_irq does the MMIO allocation and everything - which needs to happen
while booting = 1;