Add timer1 interrupt prologue to start.S, and fix bug: use the correct timer01 configuration bits withing CONFIG register