--- adjust_kernel_headers.old	2005-12-02 23:33:12 +0300
+++ adjust_kernel_headers.old	2006-01-29 19:16:10 +0300
@@ -58,7 +58,13 @@ list_kernels()
 	fi
 	(echo "$list1"; echo "$list2"; echo "$list3"; echo "$list4") |
 		sort -u |
-		grep -v '^$'
+		awk '
+			BEGIN { seen_default = 0 }
+			/^$/ { next }
+			/^default$/ { seen_default = 1; next }
+			{ print }
+			END { if (seen_default) print "default" }
+		'
 }
 
 usage()