That's quite the leap. The work is already done, they just can't/won't ship the driver in base, right? Isn't it comparable to installing Debian and needing to load in non-free drivers separately?