Fix config problems on SC3 board; make ide_reset_timeout work.