[coreboot] build service results for r4237

[coreboot information]

Dear coreboot readers!

This is the automatic build system of coreboot.

The developer "oxygene" checked in revision 4237 to
the coreboot repository. This caused the following 
changes:

Change Log:
Trivial fix for tyan/s2735: a newly used option wasn't defined as "used"


Signed-off-by: Patrick Georgi <patrick.georgi at coresystems.de>
Acked-by: Patrick Georgi <patrick.georgi at coresystems.de>


Build Log:
Configuration of tyan:s2735 has been fixed


If something broke during this checkin please be a pain 
in oxygene'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