fix kernel path

Change-Id: I57dcf883d975322b4c1548fe1f22b4fb988aa320
Signed-off-by: Arnav Gupta <championswimmer@aokp.co>