Patch merged into coreboot/master: 23e3aa2 crossgcc: Fix colors with dash

the following patch was just integrated into master:
commit 23e3aa28c92fc2072584584d59a9c9a65ae8f64f
Author: Patrick Georgi 
Date:   Sat Oct 29 00:00:19 2011 +0200

crossgcc: Fix colors with dash

Ubuntu (and probably other distros) have dash as /bin/sh, which
    doesn't display colors by itself. If /usr/bin/printf is found, it's
    used instead of the internal printf to re-enable colors.

Change-Id: I3e6d413cd0c8a46ef91821d8c07e88166de58af4
    Signed-off-by: Patrick Georgi

Build-Tested: build bot (Jenkins) at Sat Oct 29 00:16:01 2011, giving +1
Reviewed-By: Stefan Reinauer  at Sun Oct 30 21:58:41 2011, giving +2
See http://review.coreboot.org/352 for details.

-gerrit