[PATCH v9 08/39] arm64/gcs: Provide put_user_gcs()