config BOARD_DMP_EX
	bool "Vortex86EX"