FlyKernel 2.4

Change-Id: I79beedad92c337e2dfcb8193f49f566e521259f8