kernel perbuild update (DDK 1.8@869593)

  4e88a14 gpu: pvr: Update to DDK 1.8@869593

Change-Id: I569efbe191eb076f700b87502c2929845895143f
diff --git a/kernel b/kernel
index 85ed8ff..77e9e5f 100644
--- a/kernel
+++ b/kernel
Binary files differ