Build with the correct kernel

Change-Id: I5bb9a455bb76ee2a3470524dbaace7bfad2079f6