[coreboot] build service results for r4688

[coreboot information]

Dear coreboot readers!

This is the automatic build system of coreboot.

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

Change Log:
Fix a number of board names in Kconfig (trivial).

Also, simplify the M2V-MX SE Kconfig file a bit while I'm at it.

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



Build Log:
Compilation of embeddedplanet:ep405pc is still broken
See the error log at http://qa.coreboot.org/log_buildbrd.php?revision=4688&device=ep405pc&vendor=embeddedplanet&num=2
Compilation of motorola:sandpointx3_altimus_mpc7410 is still broken
See the error log at http://qa.coreboot.org/log_buildbrd.php?revision=4688&device=sandpointx3_altimus_mpc7410&vendor=motorola&num=2
Compilation of totalimpact:briq is still broken
See the error log at http://qa.coreboot.org/log_buildbrd.php?revision=4688&device=briq&vendor=totalimpact&num=2


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