[coreboot] Patch merged into coreboot/master: 6803e54 amdk8: ASL include for K8 temperature sensor support in ACPI