Patch merged into coreboot/master: 0d7f133 payloads/external/SeaBIOS: Use coreboot’s serial console settings

the following patch was just integrated into master:
commit 0d7f133c38673af2dae06988d418606d7f5628ac
Author: Martin Roth 
Date:   Fri Jul 25 14:33:49 2014 -0600

payloads/external/SeaBIOS: Use coreboot’s serial console settings

Set up the serial console on SeaBIOS to match coreboot's settings.
    Previously, we were just forcing it on, and setting it to 0x3f8.

Change-Id: I107245c8bd1ba2cf948c6671337c6169226aaaaf
    Signed-off-by: Martin Roth 
    Reviewed-on: http://review.coreboot.org/6363
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Edward O'Callaghan

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

-gerrit