diff --git a/repos/pc/src/drivers/framebuffer/intel/pc/generated_dummies.c b/repos/pc/src/drivers/framebuffer/intel/pc/generated_dummies.c
index 805a441ff3..6c2ca8479e 100644
--- a/repos/pc/src/drivers/framebuffer/intel/pc/generated_dummies.c
+++ b/repos/pc/src/drivers/framebuffer/intel/pc/generated_dummies.c
@@ -1509,14 +1509,6 @@ void kmsg_dump(enum kmsg_dump_reason reason)
 }
 
 
-#include <linux/rcutree.h>
-
-void kvfree_call_rcu(struct rcu_head * head,rcu_callback_t func)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
 #include <linux/swap.h>
 
 void mark_page_accessed(struct page * page)
diff --git a/repos/pc/src/drivers/framebuffer/intel/pc/lx_emul.c b/repos/pc/src/drivers/framebuffer/intel/pc/lx_emul.c
index b26b9d32e2..56b6b89c96 100644
--- a/repos/pc/src/drivers/framebuffer/intel/pc/lx_emul.c
+++ b/repos/pc/src/drivers/framebuffer/intel/pc/lx_emul.c
@@ -261,3 +261,14 @@ void intel_vgpu_detect(struct drm_i915_private * dev_priv)
 
 	printk("disabling PPGTT to avoid GPU code paths\n");
 }
+
+
+/*
+ * taken from src/lib/wifi/lx_emul.c
+ */
+void kvfree_call_rcu(struct rcu_head * head,rcu_callback_t func)
+{
+	void *ptr = (void *) head - (unsigned long) func;
+	kvfree(ptr);
+}
+