[coreboot-gerrit] Patch merged into coreboot/master: 948dede ck804: obtain stored IOAPIC address from allocator instead of register

the following patch was just integrated into master:
commit 948dede9c5a3d67295c4b9528fd11e741459c116
Author: Jonathan A. Kollasch 
Date:   Fri Oct 11 15:52:30 2013 -0500

ck804: obtain stored IOAPIC address from allocator instead of register

Change-Id: Ibdd438455a545aa9266b0fd893d5ff27124ab22c
    Signed-off-by: Jonathan A. Kollasch 
    Reviewed-on: http://review.coreboot.org/3961
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

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

-gerrit