[U-Boot] [PATCH 1/4] SMDKV310: Initialize board id using CONFIG_MACH_TYPE