hw/nios2: Machine with a Vectored Interrupt Controller