We should show people how to write FIQ handlers. We could set up the generic timer as a GICv3 Group0 (or VIC FIQ) interrupt, and write a FIQ handler for it.