Hello,

On Mon, Aug 25, 2014 at 5:54 AM, David Hubbard <david.c.hubbard+coreboot@gmail.com> wrote:

Is there a version of acpi_3.rom or the decompiled dsl version I could look at? Others might also be interested to take a look.

Sure. Sent.

If there are copyright issues preventing the distribution of acpi_3.rom, what steps would be required to extract it from the firmware available on lenovo.com?

I do not know about copyright issues. If you saved your factory bios, run

bios_extract on it from http://www.coreboot.org/Bios_extract, then use the iasl tools : iasl -d (to decompile)