[U-Boot] [PATCH v2 1/3] arm: add CONFIG_MACH_TYPE setting and documentation