While admittedly the files in Steam Link SDK’s version of the mlan driver claim to be Marvell confidential in the headers, https://android.googlesource.com/kernel/tegra/+/android-5.0.0_r0.10/drivers/net/wireless/sd8897/ is an example of a Marvell 8897 WLAN driver whose mlan source in fact claims to be GPL. So it’s definitely hard to believe that it’s going to be impossible to redistribute source for this very similar driver.