[PATCH LSK-v4.1 03/12] arm64: kernel: Move config_sctlr_el1