[U-Boot] [u-boot][RFC v1] sdp4430: Initialize board id using CONFIG_MACH_TYPE