Bye-bye flo-kernel

Change-Id: I2d87fcccf1152c881c5dc35c7fbde469b371e079