ArmPlatformPkg/ArmVExpressSecLibRTSM: Only use extended name of system registers...