prebuilt kernel (DDK 1.8@2112805 version change)

3b0c5d2 gpu: pvr: Update to DDK 1.8@2112805

Change-Id: I4158335a06e588f62340848040aae06db1c36d71

Conflicts:

	kernel
diff --git a/kernel b/kernel
index 6f5e427..0766072 100644
--- a/kernel
+++ b/kernel
Binary files differ