Reconcile with jb-dev - do not merge

Change-Id: I4fe061acee132eb26230fa7c9a2984217da9ad75
diff --git a/kernel b/kernel
index e9e2ebd..21bbf4e 100644
--- a/kernel
+++ b/kernel
Binary files differ