am 85ae29d3: prebuilt kernel (DDK 1.8@2112805 version change)

* commit '85ae29d3542fd28315cefe3a433bf867e24b3349':
  prebuilt kernel (DDK 1.8@2112805 version change)
diff --git a/kernel b/kernel
index 6f5e427..0766072 100644
--- a/kernel
+++ b/kernel
Binary files differ