Hi!
Hmmm. I guess we should turn off acpi mode, kexec, turn on acpi mode
with new dsdt.
Turning off acpi is not exactly easy, but specs describe how to do
it...
So yes, this is hard but doable.
--
(english)
http://www.livejournal.com/~pavelmachek
(cesky, pictures)
http://atrey.karlin.mff.cuni.cz/~pavel/picture/horses/blog.html
--