Re: [OS-BUILD PATCHv4 0/0] [redhat] New configs in drivers/gpio