prebuilt kernel  (ddk version number change only)

5f5cac4 gpu: pvr: Update to DDK 1.8@945322

Change-Id: I92d854080f90d6103ab9ee48796a1412bc1e31e7
diff --git a/kernel b/kernel
index 6697502..8a4b438 100644
--- a/kernel
+++ b/kernel
Binary files differ