Merge "Prebuilt PandaBoard kernel."
diff --git a/kernel b/kernel
index 58ddcb8..81e3635 100755
--- a/kernel
+++ b/kernel
Binary files differ