am 97495d42: prebuilt kernel  (ddk version number change only)

* commit '97495d42b2914e826d4b936f0ae6b56ed818f2a2':
  prebuilt kernel  (ddk version number change only)
diff --git a/kernel b/kernel
index 6697502..8a4b438 100644
--- a/kernel
+++ b/kernel
Binary files differ