Re: [PATCH v1] arm64:mm: enable the kernel execute attribute for HEAD_TEXT segment