ARM: re-add MACH_TYPE_XXXXXX for VCMA9 board and add CONFIG_MACH_TYPE

Signed-off-by: David Mueller <d.mueller@elsoft.ch>
1 file changed