I fixed a mistake and pushed as cfce55bf4f232791f4341665a01c4cb873f0f60d

The mistake was that I had named the config file for 32-bit
Intel-compatible systems "i386-linux.conf", but it actually should be
named "i686-linux.conf".