[coreboot-gerrit] Change in coreboot[master]: acpi/acpigen_dptf: Add tpch device path information