diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 6af6e9955bfd..8706b2d4819f 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -63,10 +63,19 @@ rec {
     kernelExtraConfig =
       ''
         MMC_ARMMMCI y
-        MMC_SDHCI y
+        #MMC_SDHCI y
         SERIO_AMBAKMI y
 
         AEABI y
+        RTC_CLASS y
+        RTC_DRV_PL031 y
+        PCI y
+        SCSI y
+        SCSI_DMA y
+        SCSI_ATA y
+        BLK_DEV_SD y
+        BLK_DEV_SR y
+        SCSI_SYM53C8XX_2 y
       '';
     uboot = null;
   };