update in-kernel no-vgic numbers