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