Could FlingOS kernel fit on a floppy?

[informer2016]

Good day! I just noticed that FlingOS "Kernel - 14-05-09.iso" size is just 1.29 MB, less than 1.44 MB, so it seems that FlingOS kernel could fit inside a floppy! Even today the floppies are still being used, for example - as virtual floppies inside the coreboot open source BIOS. Just imagine: your wonderful OS could be a part of someone's BIOS build! (for coreboot supported motherboard, maybe you have or could get one - see https://www.coreboot.org/Supported_Motherboards )

Please tell , are there any planned FlingOS kernel releases in a floppy .img format? (even 2.88 MB is supported, although 1.44 MB will be preferred because a space inside a BIOS flash chip is very limited, could be just 4 MB total with about 3 MB free space left for floppies after the primary BIOS part)