Happy New Year guys !!! My first post in 2010.

lmkantus, your dumped fadt from linux is ok, that's it. But it can't be compiled back to aml, so you have to use values from your original table and with hex editor insert them into the complete fadt file with all the required fields, reset register, etc. I could send you mine or edit it with the values from your .dsl but i am not at home right now.
Easier solution is to use the bootloader which can automatically, on-the-fly load and fix your FADT. All you have to do is insert key/string RestartFix/YES in your com.apple.boot.plist. No need to use fadt.aml or OpenHaltRestart/OSXRestart.

Happy New Year !!!

---