Restore linux-x86-32 config for Brian.
diff --git a/configs/linux-x86-32 b/configs/linux-x86-32
new file mode 100644
index 0000000..f18ce7a
--- /dev/null
+++ b/configs/linux-x86-32
@@ -0,0 +1,7 @@
+# To build Linux x86 32-bit in an x86-64 environment
+
+include $(TOP)/configs/linux-x86
+
+CONFIG_NAME = linux-x86-32
+
+ARCH_FLAGS += -m32