Fix kernel path

Change-Id: I8877bc6fdde9c9868ae41d755dddf85f64120680