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 6c2ca8479e..3b7ca3eadb 100644
--- a/repos/pc/src/drivers/framebuffer/intel/pc/generated_dummies.c
+++ b/repos/pc/src/drivers/framebuffer/intel/pc/generated_dummies.c
@@ -468,30 +468,6 @@ int drm_noop(struct drm_device * dev,void * data,struct drm_file * file_priv)
 }
 
 
-#include <drm/drm_scdc_helper.h>
-
-ssize_t drm_scdc_read(struct i2c_adapter * adapter,u8 offset,void * buffer,size_t size)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
-#include <drm/drm_scdc_helper.h>
-
-bool drm_scdc_set_high_tmds_clock_ratio(struct i2c_adapter * adapter,bool set)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
-#include <drm/drm_scdc_helper.h>
-
-bool drm_scdc_set_scrambling(struct i2c_adapter * adapter,bool enable)
-{
-	lx_emul_trace_and_stop(__func__);
-}
-
-
 #include <drm/drm_writeback.h>
 
 void drm_writeback_cleanup_job(struct drm_writeback_job * job)
diff --git a/repos/pc/src/drivers/framebuffer/intel/pc/spec/x86_32/source.list b/repos/pc/src/drivers/framebuffer/intel/pc/spec/x86_32/source.list
index 5935c1e143..c600d394ae 100644
--- a/repos/pc/src/drivers/framebuffer/intel/pc/spec/x86_32/source.list
+++ b/repos/pc/src/drivers/framebuffer/intel/pc/spec/x86_32/source.list
@@ -59,6 +59,7 @@ drivers/gpu/drm/drm_print.c
 drivers/gpu/drm/drm_probe_helper.c
 drivers/gpu/drm/drm_property.c
 drivers/gpu/drm/drm_rect.c
+drivers/gpu/drm/drm_scdc_helper.c
 drivers/gpu/drm/drm_syncobj.c
 drivers/gpu/drm/drm_sysfs.c
 drivers/gpu/drm/drm_vblank.c
diff --git a/repos/pc/src/drivers/framebuffer/intel/pc/spec/x86_64/source.list b/repos/pc/src/drivers/framebuffer/intel/pc/spec/x86_64/source.list
index a0e3aabad9..c3f15819b9 100644
--- a/repos/pc/src/drivers/framebuffer/intel/pc/spec/x86_64/source.list
+++ b/repos/pc/src/drivers/framebuffer/intel/pc/spec/x86_64/source.list
@@ -62,6 +62,7 @@ drivers/gpu/drm/drm_print.c
 drivers/gpu/drm/drm_probe_helper.c
 drivers/gpu/drm/drm_property.c
 drivers/gpu/drm/drm_rect.c
+drivers/gpu/drm/drm_scdc_helper.c
 drivers/gpu/drm/drm_syncobj.c
 drivers/gpu/drm/drm_sysfs.c
 drivers/gpu/drm/drm_vblank.c