[OS-BUILD PATCH 2/2] redhat/config: enable STMICRO nic for RHEL