[coreboot] r3761 build service

[coreboot information]

Dear coreboot readers!

This is the automated build check service of coreboot.

The developer "uwe" checked in revision 3761 to
the coreboot source repository and caused the following 
changes:

Change Log:
Coding-style and whitespace fixes (also to make the code more similar
the Lippert Cool SpaceRunner LX which is already in svn).

Signed-off-by: Uwe Hermann <uwe at hermann-uwe.de>
Acked-by: Uwe Hermann <uwe at hermann-uwe.de>



Build Log:
Compilation of supermicro:x6dhe_g has been broken
See the error log at http://qa.coreboot.org/log_buildbrd.php?revision=3761&device=x6dhe_g&vendor=supermicro
Compilation of tyan:s2885 has been fixed


If something broke during this checkin please be a pain 
in uwe's neck until the issue is fixed.

If this issue is not fixed within 24h the revision should 
be backed out.

   Best regards,
     coreboot automatic build system