review.coreboot.org / coreboot / f51b12735d822289942d8958707f400bc9634d00 / src / soc / intel / apollolake / acpi.c