[PATCH v1 16/20] arm64: enable PKEY support for CPUs with S1POE