arm: add CONFIG_MACH_TYPE setting and documentation