1CONFIG_ARM=y 2CONFIG_OMAP34XX=y 3CONFIG_TARGET_NOKIA_RX51=y 4CONFIG_DM=n 5CONFIG_DM_SERIAL=n 6CONFIG_DM_GPIO=n 7CONFIG_SYS_MALLOC_F=y 8CONFIG_SYS_MALLOC_F_LEN=0x400 9