Changed timer tick output to P3.5 and setup red LED for debugging