Disable prebuilt kernel and use sourcecode instead

Change-Id: I91f1e6be19a3d73f2e72a8ac15608159c70e7fe8