review.coreboot.org / coreboot / d1065a3e640b6cc13a5901b77604ceb3e57063e0 / src / soc / amd / genoa / acpi.c