[coreboot] Patch merged into coreboot/master: 856a155 sconfig: Some fixes

the following patch was just integrated into master:
commit 856a15569d36eba648c8b9f544442703216a59a6
Author: Patrick Georgi 
Date:   Wed May 30 16:26:30 2012 +0200

sconfig: Some fixes

clang complained about a missing include and wrong fprintf use.

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

Build-Tested: build bot (Jenkins) at Wed May 30 17:27:39 2012, giving +1
Reviewed-By: Stefan Reinauer  at Wed May 30 19:43:01 2012, giving +2
See http://review.coreboot.org/1067 for details.

-gerrit