if TARGET_MX31PDK config SPL_LDSCRIPT default "arch/$(ARCH)/cpu/u-boot-spl.lds" config SYS_BOARD default "mx31pdk" config SYS_VENDOR default "freescale" config SYS_SOC default "mx31" config SYS_CONFIG_NAME default "mx31pdk" endif
