Add ID for Intel Lynx Point HDMI CODEC.

Submitted by:	Dmitry Luhtionov <dmitryluhtionov@gmail.com>

(cherry picked from commit 73cb8afd49611b435c6fbae850dca2dc770e8892)
Add ID for Intel Avoton SMBus controller.

(cherry picked from commit 52beb82db2529be2f6d1303954847a61f0ad3ec8)
Handle case when ACPI reports HPET device, but does not provide memory
resource for it.  In such case take the address range from the HPET table.

This fixes hpet(4) driver attach on Asrock C2750D4I board.

(cherry picked from commit f6b2403684daa994b97bc94ce6995e4499405e08)