Index: kernel/generic/src/debug/line.c
===================================================================
--- kernel/generic/src/debug/line.c	(revision 001957b64a7ead0eaa50ef46f3832f77e1902798)
+++ kernel/generic/src/debug/line.c	(revision 55c5cb056e5a70788603b6b8a7c72a8ee64389b5)
@@ -654,10 +654,8 @@
 			}
 
-			/*
-			 * if (!lp.end_sequence) {
-			 * debug_line_program_skip_to_sequence_end(&lp);
-			 * assert(lp.truncated || lp.end_sequence);
-			 * }
-			 */
+			if (!lp.end_sequence) {
+				debug_line_program_skip_to_sequence_end(&lp);
+				assert(lp.truncated || lp.end_sequence);
+			}
 		}
 	}
@@ -722,5 +720,5 @@
 
 	if (!get_info(&hdr, addr, op_index, &file, line, column)) {
-		printf("no info for 0x%zx: prog offset 0x%zx\n", addr, (void *) data - debug_line);
+		// printf("no info for 0x%zx: prog offset 0x%zx\n", addr, (void *) data - debug_line);
 		return false;
 	}