Bug 1014065: Updated JellyBean kernel binary

Signed-off-by: Thomas Zimmermann <tdz@users.sourceforge.net>