review.coreboot.org / coreboot / f5205a3c81df7a06ddd109642d948092bd36d322 / src / mainboard / google / zoombini / acpi_tables.c