Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision 5d9430d762d530aa94e39ab6112719fe7bf92628)
+++ kernel/generic/src/time/clock.c	(revision 7447572cfbe25a6a44b66c23f9e52aeecfc22df1)
@@ -80,5 +80,5 @@
 	faddr = frame_alloc(ONE_FRAME, FRAME_ATOMIC);
 	if (!faddr)
-		panic("Cannot allocate page for clock");
+		panic("Cannot allocate page for clock.");
 	
 	uptime = (uptime_t *) PA2KA(faddr);
Index: kernel/generic/src/time/timeout.c
===================================================================
--- kernel/generic/src/time/timeout.c	(revision 5d9430d762d530aa94e39ab6112719fe7bf92628)
+++ kernel/generic/src/time/timeout.c	(revision 7447572cfbe25a6a44b66c23f9e52aeecfc22df1)
@@ -114,5 +114,5 @@
 
 	if (t->cpu)
-		panic("t->cpu != 0");
+		panic("Unexpected: t->cpu != 0.");
 
 	t->cpu = CPU;