[coreboot] r3963 build service

[coreboot information]

Dear coreboot readers!

This is the automated build check service of coreboot.

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

Change Log:
fix those two boards that broke due to the config tool fixes.

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

Build Log:
Compilation of amd:serengeti_cheetah has been fixed
Compilation of supermicro:h8dmr 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