Add ESP32C3 RISC-V stub
diff --git a/etc/platforms/x86_32/x86_32.jmk b/etc/platforms/x86_32/x86_32.jmk
index e7cfbbb..9f8f4b0 100644
--- a/etc/platforms/x86_32/x86_32.jmk
+++ b/etc/platforms/x86_32/x86_32.jmk
@@ -1,3 +1,4 @@
 # -*- tcl -*-
 
-# nothing
\ No newline at end of file
+cflag -m32
+asmflag -felf32