aarch64: Update FEAT_TPS and FEAT_TPSP system registers The specification has been changed to use individual tpcr* registers, instead of the original tpmin*/tpmax* pairs.