[coreboot-gerrit] Patch merged into coreboot/master: 91810dd device/oprom/realmode: Sanitize header inclusion

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 91810ddf798be6067dd4a42dd4c708573645987d
Author: Edward O'Callaghan <eocallaghan at alterapraxis.com>
Date:   Wed Jul 30 13:53:04 2014 +1000

    device/oprom/realmode: Sanitize header inclusion
    
    Alphabetise includes to avoid duplication.
    
    Change-Id: I7fa6998cd736bad2bab4a6b1a65d48a21d6220d9
    Signed-off-by: Edward O'Callaghan <eocallaghan at alterapraxis.com>
    Reviewed-on: http://review.coreboot.org/6415
    Tested-by: build bot (Jenkins)
    Reviewed-by: Isaac Christensen <isaac.christensen at se-eng.com>


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

-gerrit