Hey! Thank you so kindly for all this.
Have a submission, and then can totally make a PayPal donation.
Let me know if I'm missing any files.
USB ports seem to be work, as does sound...the BCM943602CS WiFi/Bluetooth card via PCI-E doesn't seem to be recognized, though.
AudioCodecs.txt
AudioDeviceName.txt
Bootargs.txt
BootLog.txt
Cpu.txt