Arm: re-introduce the MACH_TYPE_XXXXXX for EB_CPUX9K2 board