Remove prebuilt kernel, introduce inline kernel compiling

This is necessary now due to tracking of Faux's kernel source.  We can no longer compile with a prebuilt kernel.
Change-Id: I0c992714afa89905f0380983534e844fb7109ef1