added system timer setup code and interrupt handler to board