[PATCH 4/9] arm64: setup: name 'tcr2' register