Correct kernel source location

Change-Id: Iec1285723fc1e2efb674ac428e4de49def326aa9