diff --git a/src/disk/hdc.c b/src/disk/hdc.c
index 3ec6358d8..f09a9a430 100644
--- a/src/disk/hdc.c
+++ b/src/disk/hdc.c
@@ -77,7 +77,7 @@ static const struct {
     { &xtide_acculogic_device      },
     { &xtide_device                },
     { &esdi_ps2_device             },
-    { &esdi_integrated_device             },
+    { &esdi_integrated_device      },
     { &ide_pci_device              },
     { &ide_pci_2ch_device          },
     { &ide_vlb_device              },
diff --git a/src/disk/hdc_esdi_mca.c b/src/disk/hdc_esdi_mca.c
index 5b471b754..df2a26349 100644
--- a/src/disk/hdc_esdi_mca.c
+++ b/src/disk/hdc_esdi_mca.c
@@ -1514,7 +1514,7 @@ esdi_integrated_device = {
     .init = esdi_init,
     .close = esdi_close,
     .reset = esdi_reset,
-    .available = esdi_available,
+    .available = NULL, /* The Disk BIOS is included in the System ROM */
     .speed_changed = NULL,
     .force_redraw = NULL,
     .config = esdi_integrated_config