Add problem/plan printing back into kernel/timer.c