Corrected kernel branch

Change-Id: Ic548da8d140fd68c44ae482186bf85b256ed5ccc