[coreboot-gerrit] Patch merged into coreboot/master: 0ddb826 src/console: Sanitize headers and IS_ENABLED usage

the following patch was just integrated into master:
commit 0ddb82671cae52571e92b7b22cf088939d887d50
Author: Edward O'Callaghan 
Date:   Tue Jun 17 18:37:08 2014 +1000

src/console: Sanitize headers and IS_ENABLED usage

Alphabetise headers and remove any #if CONFIG_ guards around them.
    Use #if IS_ENABLED(CONFIG_FOO) over #if CONFIG_FOO where applicable.

Change-Id: I2a616bcfb8470a1fa21c9e26271e81cca835272a
    Signed-off-by: Edward O'Callaghan 
    Reviewed-on: http://review.coreboot.org/6057
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit