Patch merged into coreboot/master: amd8111, ck804, mcp55: use CONFIG_HPET_ADDRESS

the following patch was just integrated into master:
commit 6f0e8bdc169e152a8065694c5ef69f0a654d9f31
Author: Jonathan A. Kollasch 
Date:   Wed Jul 15 13:47:33 2015 -0500

amd8111, ck804, mcp55: use CONFIG_HPET_ADDRESS

As acpi_write_hpet() uses CONFIG_HPET_ADDRESS in the HPET table we
    need to use CONFIG_HPET_ADDRESS when assigning it to the device.

Change-Id: I656f917658f1c1717bb3653fa048a6d36fca2454
    Signed-off-by: Jonathan A. Kollasch 
    Reviewed-on: http://review.coreboot.org/10925
    Tested-by: build bot (Jenkins)
    Reviewed-by: Idwer Vollering 
    Tested-by: Raptor Engineering Automated Test Stand 
    Reviewed-by: Patrick Georgi

See http://review.coreboot.org/10925 for details.

-gerrit