[PATCH 2/8] arm64: setup: name 'tcr2' register