diff --git a/debian/changelog b/debian/changelog
index 5b09b3c8c..fe40fb8d8 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -41,7 +41,6 @@ linux-2.6 (3.0~rc1-1~experimental.1) UNRELEASED; urgency=low
   * [x86] media/rc: Enable IR_ITE_CIR, IR_FINTEK as modules
   * gspca: Enable USB_GSPCA_KINECT as module
   * [i386] radio: Enable RADIO_MIROPCM20 as module
-  * [x86] gpu: Enable STUB_POULSBO as module
   * s3fb: Enable FB_S3_DDC
   * viafb: Enable FB_VIA_X_COMPATIBILITY
   * es1968: Enable SND_ES1968_RADIO
@@ -55,6 +54,7 @@ linux-2.6 (3.0~rc1-1~experimental.1) UNRELEASED; urgency=low
   * memstick: Enable MEMSTICK_R592 as module
   * [x86] edac: Enable EDAC_I7300 as module
   * [i386] staging, video: Enable FB_OLPC_DCON as module
+  * [x86] staging, drm: Enable DRM_PSB as module
 
  -- Ben Hutchings <ben@decadent.org.uk>  Sat, 21 May 2011 22:13:08 +0100
 
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index 43d11d8c3..fa2dd3530 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -412,7 +412,7 @@ CONFIG_DRM_I2C_SIL164=m
 ##
 ## file: drivers/gpu/stub/Kconfig
 ##
-CONFIG_STUB_POULSBO=m
+# CONFIG_STUB_POULSBO is not set
 
 ##
 ## file: drivers/gpu/vga/Kconfig
@@ -1096,6 +1096,11 @@ CONFIG_ET131X=m
 ##
 CONFIG_SX=m
 
+##
+## file: drivers/staging/gma500/Kconfig
+##
+CONFIG_DRM_PSB=m
+
 ##
 ## file: drivers/staging/lirc/Kconfig
 ##