Kernel som kompiloval, na iných distrách, ale nechcem to robiť, chcem používať štandardný kernel z Debianu, aby s tým neboli problémy. Takže ak tomu rozumiem, DRM modul treba do kernelu vkompilovať alebo namiesto toho použiť externý DRI modul.