use our own Kernel again

Change-Id: Id61fc71b0ff31415fe6dc8811e850aa189fa37ec