review.coreboot.org / coreboot / a50ced2eba20a007fa5b486c251c252ad09868cf / src / mainboard / intel / galileo / acpi_tables.c