[Android: device/linaro/pandaboard 1/3] Enable kernel