fix kernel branch

Change-Id: I7528fd96821dd3feb0c6f89e846884223d1740c4