Re: [OS-BUILD PATCH] redhat/configs: Fixup HYPERV config on aarch64