diff --git a/sys/tools/sdiodevs2h.awk b/sys/tools/sdiodevs2h.awk
--- a/sys/tools/sdiodevs2h.awk
+++ b/sys/tools/sdiodevs2h.awk
@@ -44,9 +44,6 @@
 	printf("/*\n") > file
 	printf(" * THIS FILE IS AUTOMATICALLY GENERATED.  DO NOT EDIT.\n") \
 	    > file
-	printf(" *\n") > file
-	printf(" * generated from:\n") > file
-	printf(" *\t%s\n", VERSION) > file
 	printf(" */\n") > file
 }
 
@@ -233,13 +230,10 @@
 while ((getline < srcfile) > 0) {
 	line++;
 	if (line == 1) {
-		VERSION = $0
-		gsub("\\$", "", VERSION)
 		if (dfile)
 			header(dfile)
 		if (hfile)
 			header(hfile)
-		continue;
 	}
 	if ($1 == "vendor") {
 		vendor(hfile)