Если кто-то еще сталкивается с подобной проблемой, и приведенное выше руководство не помогло, попробуйте использовать более раннее ядро Linux, такое как 3.8. Это был единственный способ, которым я столкнулся с этой проблемой.