Add formulas for i386-elf-jos toolchain