[coreboot-gerrit] Change in coreboot[master]: haswell: Report only one HPET timer device

[Nico Huber (Code Review)]

Attention is currently required from: Angel Pons.
Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/43806 )

Change subject: haswell: Report only one HPET timer device
......................................................................

Patch Set 4: Code-Review+1

(2 comments)

Commit Message:

https://review.coreboot.org/c/coreboot/+/43806/comment/a6e7ab21_6a0031cc 
PS3, Line 7: device
s/device/block/?

It looks like the spec doesn't know timers, only blocks. And that
might be the cause of the confusion. If the table only knows blocks,
we can only report one.

Patchset:

PS4: 
Hmmm, merge conflict...