Re: [OS-BUILD PATCH] redhat/configs: Remove CONFIG_INFINIBAND_I40IW