build service results for r5420

[coreboot information]

Dear coreboot readers!

This is the automatic build system of coreboot.

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

Change Log:
fix timer choice in Kconfig. HAVE_INIT_TIMER is selected correctly, no need to
mention it explicitly.

Signed-off-by: Stefan Reinauer 
Acked-by: Stefan Reinauer

Build Log:
Compilation of digitallogic:msm586seg has been fixed
Compilation of technologic:ts5300 has been fixed

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