review.coreboot.org / coreboot / 87c42e870da871b8a866e07f5421a8711e988890 / src / soc / amd / genoa / acpi / mmio.asl