[coreboot-gerrit] Patch merged into coreboot/master: 78d0cab IOAPIC: Fix missing stdint include

the following patch was just integrated into master:
commit 78d0cab36d835c988ef6a75e0a47fb6349ca1300
Author: Kyösti Mälkki 
Date:   Fri Jul 11 09:44:54 2014 +0300

IOAPIC: Fix missing stdint include

Change-Id: Ib26f48d3ac66788246834cdc25d97910cd79fe98
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: http://review.coreboot.org/6264
    Tested-by: build bot (Jenkins)
    Reviewed-by: Edward O'Callaghan

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

-gerrit