I wonder if there are any binary blobs required to boot? I guess the WiFi/Bluetooth modules would be the main problem but those are removable