Re: [OS-BUILD PATCH] [redhat] New configs in arch/arm64