fix where flo looks for kernel

Change-Id: I2971fa14779b60dc9621ee081339758ccbe3fabf