[coreboot] Patch set updated for coreboot: 6803e54 amdk8: ASL include for K8 temperature sensor support in ACPI