[coreboot-gerrit] Patch merged into coreboot/master: 4566d2e uart8250io: Fix build with DEBUG_SMI

the following patch was just integrated into master:
commit 4566d2e7cd32c1c2bdcc85a09c580e9f00f6b1dd
Author: Kyösti Mälkki 
Date:   Wed Apr 23 10:28:59 2014 +0300

uart8250io: Fix build with DEBUG_SMI

Change-Id: I5110af348d22c0abc940f0922854fdd7e0c7e2e9
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: http://review.coreboot.org/5574
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

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

-gerrit