Fix kernel path

Change-Id: I5acb1a7e32075b625804742b001c1ca835d62c84