Problem bych tipoval na to, ze jaderne moduly nemaji jak zavolat .so knihovnu. Navic je tam jeste jina otazka, a to je licencni ujednani k tem proprietarnim driverum, hlavne co se redistribuce tyce (necetl jsem ho, takze nevim jestli je povoleno nebo ne, ale je to potencialni problem pro vsechny distribuce)