Comment 5 for bug 894389

It seems that the latest binaries available from Google rely on PVR DDK1.8. Currently we only have kernel source for PVR DDK1.7 in the TILT tree. Perhaps we should create a topic branch from the PVR DDK1.8 code in the AOSP kernel, and use the Google binarie for our Android release, since I see none forthcoming to Linaro in the immediate future. Maybe we can convince Nicholas to move the Ubuntu binaries in the PPA up to the same release; Andy and/or I can explore that with him.