diff --git a/repos/pc/src/drivers/nic/pc/dummies.c b/repos/pc/src/drivers/nic/pc/dummies.c
index 859571944e..a8fc0ea3db 100644
--- a/repos/pc/src/drivers/nic/pc/dummies.c
+++ b/repos/pc/src/drivers/nic/pc/dummies.c
@@ -390,3 +390,10 @@ int net_ratelimit(void)
 	/* suppress */
 	return 0;
 }
+
+#include <net/dst.h>
+
+void dst_release(struct dst_entry * dst)
+{
+	lx_emul_trace(__func__);
+}
diff --git a/repos/pc/src/drivers/nic/pc/spec/x86_32/generated_dummies.c b/repos/pc/src/drivers/nic/pc/spec/x86_32/generated_dummies.c
index 93e6eb65a8..3e56e9cb68 100644
--- a/repos/pc/src/drivers/nic/pc/spec/x86_32/generated_dummies.c
+++ b/repos/pc/src/drivers/nic/pc/spec/x86_32/generated_dummies.c
@@ -1,7 +1,7 @@
 /*
  * \brief  Dummy definitions of Linux Kernel functions
  * \author Automatically generated file - do no edit
- * \date   2023-06-22
+ * \date   2023-08-09
  */
 
 #include <lx_emul.h>
@@ -232,14 +232,6 @@ void do_trace_netlink_extack(const char * msg)
 }
 
 
-#include <net/dst.h>
-
-void dst_release(struct dst_entry * dst)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
 #include <linux/printk.h>
 
 asmlinkage __visible void dump_stack(void)
diff --git a/repos/pc/src/drivers/nic/pc/spec/x86_64/generated_dummies.c b/repos/pc/src/drivers/nic/pc/spec/x86_64/generated_dummies.c
index dc01e06b6b..2c724dfc0b 100644
--- a/repos/pc/src/drivers/nic/pc/spec/x86_64/generated_dummies.c
+++ b/repos/pc/src/drivers/nic/pc/spec/x86_64/generated_dummies.c
@@ -1,7 +1,7 @@
 /*
  * \brief  Dummy definitions of Linux Kernel functions
  * \author Automatically generated file - do no edit
- * \date   2023-06-21
+ * \date   2023-08-09
  */
 
 #include <lx_emul.h>
@@ -240,14 +240,6 @@ void do_trace_netlink_extack(const char * msg)
 }
 
 
-#include <net/dst.h>
-
-void dst_release(struct dst_entry * dst)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
 #include <linux/printk.h>
 
 asmlinkage __visible void dump_stack(void)