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.
3 files changed