- Vectored Interrupt Controller support
- Timer support using the GPT and DGT timers
Signed-off-by: Brian Swetland <swetland@google.com>