[coreboot-gerrit] Patch merged into coreboot/master: 4bdd5b1 board_status.sh: Replace [[ with [.

the following patch was just integrated into master:
commit 4bdd5b18c14ec05c8af8982c9233e4534dcb802f
Author: Vladimir Serbinenko 
Date:   Tue Jan 21 02:39:46 2014 +0100

board_status.sh: Replace [[ with [.

[[ is a bashism.

Change-Id: Ief7c43fc1740db32ed97850a415b0c256b5bb35a
    Signed-off-by: Vladimir Serbinenko

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

-gerrit