PSB_WSGX32(0x20000000, PSB_CR_PDS_EXEC_BASE);
PSB_WSGX32(0x30000000, PSB_CR_BIF_3D_REQ_BASE);
- acpi_video_register();
+/* igd_opregion_init(&dev_priv->opregion_dev); */
+/* acpi_video_register(); */
ret = drm_vblank_init(dev, dev_priv->num_pipe);
if (ret)