Temp switch to stock kernel

Change-Id: I377a75153165610f758b4d1b54f207294ad384d5