Fix path for kernel on flo

Change-Id: I790ff85d5e7fdea1e7e8f97940b3dd09dff01f87