board: ti_am437x_idk: default to 1000kHz