dev-arm: Add ID registers to the GIC model