[coreboot-gerrit] Patch merged into coreboot/master: 52e665b Add initial support for DMP Vortex86EX CPU.

the following patch was just integrated into master:
commit 52e665bdd2c71b86643cbb1ee7e2fa5e96223059
Author: Andrew Wu 
Date:   Wed Jun 19 18:55:08 2013 +0800

Add initial support for DMP Vortex86EX CPU.

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

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

-gerrit