GIC V3.1, V4.1 Spec