[coreboot-gerrit] Patch merged into coreboot/master: board_status: Add an option to set the SSH port

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 4aef682819a1fe6bcc825c612360a3e15917a9b6
Author: Jonathan Neuschäfer <j.neuschaefer at gmx.net>
Date:   Tue May 10 17:43:53 2016 +0200

    board_status: Add an option to set the SSH port
    
    If the option is not provided, ssh uses the default port for the host,
    which is usually 22, but may be overridden in the user's SSH
    configuration.
    
    Change-Id: I303e9aeae16bd73a96c5e6d54f8e39482613db28
    Signed-off-by: Jonathan Neuschäfer <j.neuschaefer at gmx.net>
    Reviewed-on: https://review.coreboot.org/14522
    Tested-by: build bot (Jenkins)
    Reviewed-by: David Hendricks <dhendrix at chromium.org>


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

-gerrit