Yes, I've downloaded and poked around in the 1.8GB archive ASUS insists is the source, from both the US and Taiwan sites. It does not contain the sources in question, or at least did not when I retrieved it. I tend to assume incompetence before malice, and I really do believe they just messed up.
Looks like ASUS has posted some source archives on their FTP site. On initial inspection, the asus_acpi module sources are not the ones that compiled the module that ships on the machine, but are very close.
[^] # Re: Ouaaa c'est rapide
Posté par IsNotGood . En réponse au journal ASUSTeK Eee PC et violation de GPL. Évalué à 5.
http://cliffhacks.blogspot.com/2007/11/asus-eeepc-first-impr(...)
Le 27/11/2007:
http://cliffhacks.blogspot.com/2007/11/asus-eeepc-some-sourc(...)