Drivers for Marvell 88SE9230 SATA controller on Linux

From what I can see, the Marvel; 88se9230 is supported in newer kernels (since 2013 and kernel 3.2 at least). See this bug report and these messages to the linux-ide mailing list.

Based on the above, it should be supported by most recent distributions.