whoops PIDR is defined as 32-bits in SPRs.csv (and spec)