Il n'y a pas une dérivée de Debian destinée aux musiciens qui pourrait avoir le bon kernel tout de suite ?