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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 78d0cab36d835c988ef6a75e0a47fb6349ca1300
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Fri Jul 11 09:44:54 2014 +0300

    IOAPIC: Fix missing stdint include
    
    Change-Id: Ib26f48d3ac66788246834cdc25d97910cd79fe98
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>
    Reviewed-on: http://review.coreboot.org/6264
    Tested-by: build bot (Jenkins)
    Reviewed-by: Edward O'Callaghan <eocallaghan at alterapraxis.com>


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

-gerrit