Ensure unsupported arguments aren't passed when starting ESP32-C3

hw/riscv/esp32_c3.c

@@ -73,6 +73,24 @@ static void esp32_c3_machine_state_init(MachineState *mstate)
         error_report("This board can't load firmware");
         exit(1);
     }
+
+    if (mstate->kernel_filename) {
+        // Can't load a Linux-style kernel on an MCU
+        error_report("-device loader,file=<filename> must be used instead of -kernel");
+        exit(1);
+    }
+
+    if (mstate->fdt) {
+        // Can't load a device tree on an MCU
+        error_report("-dtb is not supported on this board");
+        exit(1);
+    }
+
+    if (mstate->initrd_filename) {
+        // Can't load an initrd on an MCU
+        error_report("-initrd is not supported on this board");
+        exit(1);
+    }
 }
 
 static void esp32_c3_machine_instance_init(Object *obj)