Make sure that floppy icons and options do not appear if there's no floppy controller available

src/floppy/fdc.c

@@ -79,6 +79,8 @@ int floppyrate[4];
 
 int fdc_current[FDC_MAX] = { 0, 0 };
 
+volatile int fdcinited = 0;
+
 #ifdef ENABLE_FDC_LOG
 int fdc_do_log = ENABLE_FDC_LOG;
 
@@ -2337,6 +2339,8 @@ fdc_close(void *priv)
 
     fifo_close(fdc->fifo_p);
 
+    fdcinited = 0;
+
     free(fdc);
 }
 
@@ -2382,6 +2386,8 @@ fdc_init(const device_t *info)
 
     fdc_reset(fdc);
 
+    fdcinited = 1;
+
     return fdc;
 }