CONFIG_SPL=y CONFIG_SYS_EXTRA_OPTIONS="UART_U_BOOT" +S:CONFIG_ARM=y +S:CONFIG_ARCH_DAVINCI=y +S:CONFIG_TARGET_HAWKBOARD=y