fetch proper kernel branch

Change-Id: If0205e55e5756319ba2445801a37a70d6b2e7ba5