[coreboot] ACPI extraction

[Myles Watson]

What's the best way to extract all the ACPI tables from a system to
use with Coreboot?  /proc/acpi only seems to have a couple of them.

I'd just use phnxdeco, but it isn't working for my ROM.

Thanks,
Myles