I have not found one tool that can obtain the fadt.c and dsdt.c from the machine trough /proc/acpi/fadt and /proc/acpi/dsdt
I have write the two utitilities, if one needs it.
Urbez.
NOTE: you can compile the tools simply written "make genfadt" and "make gendsdt"