Comment 3 for bug 817239

This is because the SGX PVR module is fails to build with this kernel and Xorg can't find load the pvr driver (forced because of a xorg config file).

I updated xorg-server to try to load the pvr driver automatically, so we can remove the xorg config and make it work again (without hw acceleration, but at least working).

Patch at xorg-server_1.10.1-1ubuntu1.1linaro1:
+diff --git a/hw/xfree86/common/xf86AutoConfig.c b/hw/xfree86/common/xf86AutoConfig.c
+index 8b690a5..8b6584a 100644
+--- a/hw/xfree86/common/xf86AutoConfig.c
++++ b/hw/xfree86/common/xf86AutoConfig.c
+@@ -315,6 +315,8 @@ listPossibleVideoDrivers(char *matches[], int nmatches)
+ matches[i++] = xnfstrdup("imx");
+ else if (test_sysfs_device("dovefb", "dovefb"))
+ matches[i++] = xnfstrdup("dovefb");
++ else if (test_sysfs_device("omap", "pvr"))
++ matches[i++] = xnfstrdup("pvr");
+ else if (test_sysfs_device("omapfb", "omapfb"))
+ matches[i++] = xnfstrdup("omapfb");
+ #endif /* defined(__linux__) && defined(__arm__) */