как я понял, там настройка-то есть какое ядро использовать. а вот то, что она не работает, это уже другой вопрос. возможно поможет другая версия драйверов (более старая). еще есть вариант принудительного отключения встроенного адаптера в биос.