hw/intc/arm_gicv3: Implement gicv3_cpuif_update()