Change in coreboot[master]: src/soc/intel: Add ACPI HPET table

[Johnny Lin (Code Review)]

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

Change subject: src/soc/intel: Add ACPI HPET table
......................................................................

Patch Set 2:

(2 comments)
> Patch Set 1:
>
> (2 comments)

https://review.coreboot.org/c/coreboot/+/35027/1//COMMIT_MSG 
Commit Message:

https://review.coreboot.org/c/coreboot/+/35027/1//COMMIT_MSG@10 
PS1, Line 10:
> please add this was tested, i. […]

Done

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 */
> There's acpi_write_hpet() which seems to do the same as the code in acpi_create_intel_hpet(), please […]

Done