fix kernel path

Change-Id: Ia07b2ca01014b86b394471bd10bbd5913346cfb9