[coreboot] --divide!! and .xcompile