mx35pdk: Configure CONFIG_BOOTDELAY to one second