I'm curious to see this for myself, do you have a source?
Me I'd be more worried about the WiFi module, thought stopping to think, if the WiFi module driver isn't open source that's a worry too.
The wifi driver is open source, however with a binary blob for WiFi and Bluetooth firmware.