Fix kernel.sh

Change-Id: Iee2054762abd45632491660811fcaaf517448f2d
mGerrit is a nice idea, but has no Android.mk, and not compatible with stock gerrit 2.4.2

Change-Id: I2d9cf725dcfdda30cce0b8f9c162a5bf36014028