fix previous typo/mistake, submit correct kernel

Change-Id: Ia70b898c9816d613fae332249c6ffd48df4a626d
diff --git a/kernel b/kernel
index f9ddea2..de96629 100644
--- a/kernel
+++ b/kernel
Binary files differ