Add the full set of GICD_PIDR* registers
Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation