Thank you so much for sharing this code with me (and your diagnosis). In the case of the Dell, I could not even get past installing the kernel (from the alpha 2 USB) so it was impossible for me to run dmesg. There was a few times when it made a run on verbose code and I noticed those 'tainted' messages.
Why then is Precise using tainted (closed source) drivers? Does this happen during install of we pick (Install thridparty software)?