Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision d681c173694bd83b842b2932968cec935ec1f26f)
+++ kernel/generic/include/interrupt.h	(revision 9141377d3aec1027ed16cfa6e2085fc028ba13f7)
@@ -56,6 +56,6 @@
 { \
 	if (istate_from_uspace(istate)) { \
-                klog_printf(cmd, ##__VA_ARGS__); \
-                klog_printf("Task %lld got exception at PC:%p. Task killed.", TASK->taskid, istate_get_pc(istate)); \
+		klog_printf("Task %lld killed due to an exception at %p.", TASK->taskid, istate_get_pc(istate)); \
+		klog_printf("  " cmd, ##__VA_ARGS__); \
 		task_kill(TASK->taskid); \
 		thread_exit(); \