diff --git a/release/alpha/dokern.sh b/release/alpha/dokern.sh
index e072eaf4b556..c0a47cf2d8c7 100755
--- a/release/alpha/dokern.sh
+++ b/release/alpha/dokern.sh
@@ -22,6 +22,8 @@ sed	\
  	-e '/INVARIANTS/d' \
  	-e '/INVARIANT_SUPPORT/d' \
  	-e '/WITNESS/d' \
+ 	-e '/AHC_REG_PRETTY_PRINT/d' \
+ 	-e '/AHD_REG_PRETTY_PRINT/d' \
  	-e '/SMP/d' \
 	-e '/atapifd/d' \
 	-e '/atapist/d' \