Marvel released the open source driver to the Linux community and do not maintain it.
Marvel’s statement:
“We do not provide the Debian driver binary, but the customer is free to use our open source driver for this kernel. There are other customers who adopt this solution, so it is a known working configuration".