review.coreboot.org / coreboot / 274d20a0652f45ed54834524c485f7ab59bcdf70 / src / mainboard / intel / galileo / acpi_tables.c