review.coreboot.org / coreboot / 64246480a656b2eba8a895a962787051ee2d4378 / src / soc / intel / common / block / acpi / pep.c