requires that i8259_init() be called with the real address where PCI
interrupt-acknowledge transactions will be generated.