Add Vectored Interrupt Controller support