PandaBoard kernel prebuilt

dca8c6b HACK: increase TILER memory from 16MB to 32MB
diff --git a/kernel b/kernel
index a8d9b03..aa9d06f 100755
--- a/kernel
+++ b/kernel
Binary files differ