[coreboot-gerrit] Patch merged into coreboot/master: 8522f99 Add support for DMP Vortex86EX PCI mainboard.

the following patch was just integrated into master:
commit 8522f9940af8291772e37eef077339d6f3ffcda9
Author: Andrew Wu 
Date:   Fri Jul 5 17:29:41 2013 +0800

Add support for DMP Vortex86EX PCI mainboard.

Change-Id: I8d42f765519e356d8f0cc6ed339d9b74f0a3e4d7
    Signed-off-by: Andrew Wu 
    Reviewed-on: http://review.coreboot.org/3610
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich

See http://review.coreboot.org/3610 for details.

-gerrit