Fixing support for PowerVR SGX for Pandaboard 4430
Currently if you install the PowerVR SGX driver at a Pandaboard 4430
you'll easily find a kernel freeze while starting lightdm. That's due
a wrong revision check and an old implementation of errata 727915.
Both patches are already part of the latest tilt-3.2 kernel tree from
the Linaro TI Landing Team, and I tested and validated that it fix the
The following changes since commit 146ed250958dca099e195b3416426b30443f3f00:
UBUNTU: [Config] Move kernels to Section: kernel (2012-03-15 13:10:14 -0600)