Pelo que eu posso ver, a Marvel; O 88se9230 é suportado em novos kernels (desde 2013 e pelo menos o kernel 3.2). Veja este relatório de erros e estas mensagens para a lista de discussão linux-ide.
Com base no acima, ele deve ser suportado pelas distribuições mais recentes.