diff --git a/release/amd64/dokern.sh b/release/amd64/dokern.sh
index e71778e4d95b..3f56a5dcf927 100755
--- a/release/amd64/dokern.sh
+++ b/release/amd64/dokern.sh
@@ -21,6 +21,7 @@ sed	-e '/	pci$/d' \
 	-e '/	de/d' \
 	-e '/	fxp/d' \
 	-e '/	tx/d' \
+	-e '/	txp/d' \
 	-e '/	vx/d' \
 	-e '/	wx/d' \
 	-e '/	dc/d' \
diff --git a/release/i386/dokern.sh b/release/i386/dokern.sh
index e71778e4d95b..3f56a5dcf927 100755
--- a/release/i386/dokern.sh
+++ b/release/i386/dokern.sh
@@ -21,6 +21,7 @@ sed	-e '/	pci$/d' \
 	-e '/	de/d' \
 	-e '/	fxp/d' \
 	-e '/	tx/d' \
+	-e '/	txp/d' \
 	-e '/	vx/d' \
 	-e '/	wx/d' \
 	-e '/	dc/d' \
diff --git a/release/pc98/dokern.sh b/release/pc98/dokern.sh
index e71778e4d95b..3f56a5dcf927 100755
--- a/release/pc98/dokern.sh
+++ b/release/pc98/dokern.sh
@@ -21,6 +21,7 @@ sed	-e '/	pci$/d' \
 	-e '/	de/d' \
 	-e '/	fxp/d' \
 	-e '/	tx/d' \
+	-e '/	txp/d' \
 	-e '/	vx/d' \
 	-e '/	wx/d' \
 	-e '/	dc/d' \