Change in coreboot[master]: mb/ocp/monolake: Add ACPI HPET table

[Patrick Rudolph (Code Review)]

Patrick Rudolph has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/35027 )

Change subject: mb/ocp/monolake: Add ACPI HPET table
......................................................................

Patch Set 1:

(1 comment)

https://review.coreboot.org/c/coreboot/+/35027/1/src/mainboard/ocp/monolake/... 
File src/mainboard/ocp/monolake/mainboard.c:

https://review.coreboot.org/c/coreboot/+/35027/1/src/mainboard/ocp/monolake/... 
PS1, Line 85: 	/* Enable access to the BMC IPMI via KCS */
> this code is not mainboard-specific and should go to SoC. […]

There's acpi_write_hpet() which seems to do the same as the code in acpi_create_intel_hpet(), please use that instead and drop acpi_create_intel_hpet().