Switch kernel branches

Change-Id: I6ab20376ba720a3c6b2f4a6f96d64b52c5b8eb2a