His diplomatic skills could use polishing, but if he is right about the BIOS it could explain some ACPI problems. Note that he lists FreeBSD as well as Linux as not working in his letter to the FTC. http://ubuntu-virginia.ubuntuforums.org/showthread.php?t=869249