Add initial support for DMP Vortex86EX CPU.

Change-Id: I74de250c69a57109362be1b2f00c0b4aa24a64e8
Signed-off-by: Andrew Wu <arw@dmp.com.tw>
Reviewed-on: http://review.coreboot.org/3473
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>

src/cpu/Kconfig

@@ -12,6 +12,7 @@ endif	# ARCH_ARM
 if ARCH_X86
 
 source src/cpu/amd/Kconfig
+source src/cpu/dmp/Kconfig
 source src/cpu/intel/Kconfig
 source src/cpu/via/Kconfig
 source src/cpu/qemu-x86/Kconfig