I've extracted my dsdt from my setup via ubuntu 11.04
I have the latest (beta 1850) BIOS so I guess it's somewhat different than what is posted here.
Please, have look at what is going on, my knowledge for error solving in this matter is more than limited...