proper kernelbranch

Change-Id: Ic573365b4c000209489c855e7dbc5cef63c09e48