Isn't that just because we're compiling i386 with -msoft-float? We probably don't need to do that for i386.

Why do we need these?

__divdi3 is 64 bit by 64 bit integer division, not fp.

We need a FAT file system with boot1.efi in it, with a specified file name. We could do something a bit more fancy (and error-prone) than what we've got here, but the eventual plan is to add FAT support to makefs.

We'll probably only have four of these (i386, amd64, arm, arm64), so I'm not particularly interested in trying to come up with a hacky way to avoid having these.

If we can get makefs to generate these, we'll be better off. Though we'll need to address the date/time issue for repeatable builds. Having these files in the tree goes rather against checking in binaries that could be built. lack of support in makefs is a good reason though.