Por lo que puedo ver, el Marvel; 88se9230 es compatible con kernels más nuevos (desde 2013 y kernel 3.2 como mínimo). Vea este informe de error y estos mensajes a la lista de correo de linux-ide.
Según lo anterior, debería ser compatible con las distribuciones más recientes.