[U-Boot] [PATCH v3 03/10] ARMV7: Add support for TI OMAP4430 SDP