Patch merged into coreboot/master: 8d05322 Fix console.c with serial support disabled

the following patch was just integrated into master:
commit 8d05322b68471b782cd239acd3a4ac4241eddab3
Author: Stefan Reinauer 
Date:   Fri Jan 11 10:46:55 2013 -0800

Fix console.c with serial support disabled

During the ARM port, disabling serial console became broken.
    This patch fixes it.

Change-Id: I40460596073918a08c19bb9c991cada341cca940
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/2136
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

Build-Tested: build bot (Jenkins) at Fri Jan 11 20:02:12 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Fri Jan 11 20:03:30 2013, giving +2
See http://review.coreboot.org/2136 for details.

-gerrit