[coreboot-gerrit] Patch merged into coreboot/master: SeaBIOS: Disable serial console if serial is memory mapped

the following patch was just integrated into master:
commit f80331f261d338ce05c5a3ab74a7d4a0d6ba678d
Author: Martin Roth 
Date:   Sat Feb 6 12:47:05 2016 -0700

SeaBIOS: Disable serial console if serial is memory mapped

SeaBIOS only supports standard IO based serial ports.  If the serial
    port being used by coreboot isn't a standard IO serial port, disable
    the serial console in the SeaBIOS build.

Change-Id: I386b46625fca0bd0a5416ed9831f8370c294ed74
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/13617
    Tested-by: build bot (Jenkins)
    Reviewed-by: Leroy P Leahy 
    Reviewed-by: Stefan Reinauer

See https://review.coreboot.org/13617 for details.

-gerrit