Da quello che posso vedere, la Marvel; 88se9230 è supportato nei kernel più recenti (dal 2013 e almeno dal kernel 3.2). Vedi questo bug report e questi messaggi alla mailing list linux-ide.
Sulla base di quanto sopra, dovrebbe essere supportato dalle distribuzioni più recenti.