Add formulas for i386-jos-elf toolchain