piix4: Add an i8259 Interrupt Controller as specified in datasheet