* clock/clock.c, include/bsp.h: Correct prototype of idle thread. Eric Norum pointed out this was wrong.