Is direct injection of virtual timer interrupt or virtual IPI interrupt possible with any of the GIC versions?