[PATCH 4.9 12/21] arm64: Remove a redundancy in sysreg.h