diff --git a/release/amd64/dokern.sh b/release/amd64/dokern.sh
index e3c33a98cf8d..f5b7b5e01ffd 100755
--- a/release/amd64/dokern.sh
+++ b/release/amd64/dokern.sh
@@ -34,6 +34,8 @@ sed	-e '/	pty	/d' \
 	-e '/INVARIANTS/d' \
 	-e '/INVARIANT_SUPPORT/d' \
 	-e '/WITNESS/d' \
+	-e '/AHC_REG_PRETTY_PRINT/d' \
+	-e '/AHD_REG_PRETTY_PRINT/d' \
 	-e '/	pci$/d' \
 	-e '/	adv	/d' \
 	-e '/	ahc	/d' \
@@ -96,6 +98,8 @@ sed	-e '/	pty	/d' \
  	-e '/INVARIANTS/d' \
  	-e '/INVARIANT_SUPPORT/d' \
  	-e '/WITNESS/d' \
+	-e '/AHC_REG_PRETTY_PRINT/d' \
+	-e '/AHD_REG_PRETTY_PRINT/d' \
 	-e '/	ncr	/d' \
 	-e '/	pcm/d' \
 	-e '/	agp	/d' \
diff --git a/release/i386/dokern.sh b/release/i386/dokern.sh
index e3c33a98cf8d..f5b7b5e01ffd 100755
--- a/release/i386/dokern.sh
+++ b/release/i386/dokern.sh
@@ -34,6 +34,8 @@ sed	-e '/	pty	/d' \
 	-e '/INVARIANTS/d' \
 	-e '/INVARIANT_SUPPORT/d' \
 	-e '/WITNESS/d' \
+	-e '/AHC_REG_PRETTY_PRINT/d' \
+	-e '/AHD_REG_PRETTY_PRINT/d' \
 	-e '/	pci$/d' \
 	-e '/	adv	/d' \
 	-e '/	ahc	/d' \
@@ -96,6 +98,8 @@ sed	-e '/	pty	/d' \
  	-e '/INVARIANTS/d' \
  	-e '/INVARIANT_SUPPORT/d' \
  	-e '/WITNESS/d' \
+	-e '/AHC_REG_PRETTY_PRINT/d' \
+	-e '/AHD_REG_PRETTY_PRINT/d' \
 	-e '/	ncr	/d' \
 	-e '/	pcm/d' \
 	-e '/	agp	/d' \
diff --git a/release/pc98/dokern.sh b/release/pc98/dokern.sh
index e3c33a98cf8d..f5b7b5e01ffd 100755
--- a/release/pc98/dokern.sh
+++ b/release/pc98/dokern.sh
@@ -34,6 +34,8 @@ sed	-e '/	pty	/d' \
 	-e '/INVARIANTS/d' \
 	-e '/INVARIANT_SUPPORT/d' \
 	-e '/WITNESS/d' \
+	-e '/AHC_REG_PRETTY_PRINT/d' \
+	-e '/AHD_REG_PRETTY_PRINT/d' \
 	-e '/	pci$/d' \
 	-e '/	adv	/d' \
 	-e '/	ahc	/d' \
@@ -96,6 +98,8 @@ sed	-e '/	pty	/d' \
  	-e '/INVARIANTS/d' \
  	-e '/INVARIANT_SUPPORT/d' \
  	-e '/WITNESS/d' \
+	-e '/AHC_REG_PRETTY_PRINT/d' \
+	-e '/AHD_REG_PRETTY_PRINT/d' \
 	-e '/	ncr	/d' \
 	-e '/	pcm/d' \
 	-e '/	agp	/d' \