diff --git a/repos/dde_linux/src/drivers/framebuffer/intel/dummies.cc b/repos/dde_linux/src/drivers/framebuffer/intel/dummies.cc
index 4c58a9ea9..885584492 100644
--- a/repos/dde_linux/src/drivers/framebuffer/intel/dummies.cc
+++ b/repos/dde_linux/src/drivers/framebuffer/intel/dummies.cc
@@ -78,12 +78,6 @@ bool flush_delayed_work(struct delayed_work *dwork)
 	return false;
 }
 
-void *krealloc(const void *, size_t, gfp_t)
-{
-	TRACE_AND_STOP;
-	return NULL;
-}
-
 void down_read(struct rw_semaphore *sem)
 {
 	TRACE_AND_STOP;
diff --git a/repos/dde_linux/src/drivers/framebuffer/intel/gen_dummies.h b/repos/dde_linux/src/drivers/framebuffer/intel/gen_dummies.h
index feabb4819..263649cbc 100644
--- a/repos/dde_linux/src/drivers/framebuffer/intel/gen_dummies.h
+++ b/repos/dde_linux/src/drivers/framebuffer/intel/gen_dummies.h
@@ -964,7 +964,7 @@ void yield(void)
 
 int hdmi_avi_infoframe_init(struct hdmi_avi_infoframe *frame)
 {
-	TRACE_AND_STOP;
+	TRACE;
 	return -1;
 }
 
@@ -976,7 +976,7 @@ int hdmi_vendor_infoframe_init(struct hdmi_vendor_infoframe *frame)
 
 int hdmi_spd_infoframe_init(struct hdmi_spd_infoframe *frame, const char *vendor, const char *product)
 {
-	TRACE_AND_STOP;
+	TRACE;
 	return -1;
 }
 
diff --git a/repos/dde_linux/src/drivers/framebuffer/intel/lx_emul.cc b/repos/dde_linux/src/drivers/framebuffer/intel/lx_emul.cc
index 63ea4ab26..a171cec10 100644
--- a/repos/dde_linux/src/drivers/framebuffer/intel/lx_emul.cc
+++ b/repos/dde_linux/src/drivers/framebuffer/intel/lx_emul.cc
@@ -148,6 +148,12 @@ void *kmem_cache_zalloc(struct kmem_cache *k, gfp_t flags)
 	return kmem_cache_alloc(k, flags | __GFP_ZERO);
 }
 
+void *krealloc(const void *p, size_t size, gfp_t flags)
+{
+	/* use const-less version from <impl/slab.h> */
+	return krealloc(const_cast<void*>(p), size, flags);
+}
+
 
 /*****************
  ** linux/idr.h **