Z toho, co vidím, Marvel; 88se9230 je podporován v novějších jádrech (od roku 2013 a minimálně kernel 3.2). Podívejte se na tuto zprávu o chybě a tyto zprávy do linux-ide mailing listu.
Na základě výše uvedeného by měl být podporován nejnovějšími distribucemi.