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