[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 
Acked-by: Patrick Georgi

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