Não foi incluído esses módulos no último lançamento do kernel, porém há previsão de incluir os módulos para as próximas versões, inclusive das distribuições Debian e Ubuntu, se você já possui um dispositivo USB 3.0 em mãos, você mesmo poderá fazer através destas instruções!;)
Fonte: OS News