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

the following patch was just integrated into master:
commit 91810ddf798be6067dd4a42dd4c708573645987d
Author: Edward O'Callaghan 
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 
    Reviewed-on: http://review.coreboot.org/6415
    Tested-by: build bot (Jenkins)
    Reviewed-by: Isaac Christensen

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

-gerrit