ARMV7: Add support for TI OMAP4430 SDP