Addy,

On Thu, Oct 30, 2014 at 8:50 PM, Addy Ke [off-list ref] wrote:

+static int dw_mci_rk3288_parse_dt(struct dw_mci *host)
+{
+       struct device_node *np = host->dev->of_node;
+       int sdio_id0;
+
+       if (!of_property_read_u32(np, "rockchip,sdio-interrupt-slot0",
+                                 &sdio_id0))
+               host->sdio_id0 = sdio_id0;

This function is only run on rk3288 and on all rk3288 SoCs this value
is exactly 8.  Just replace this with:

  /* SDIO IRQ shows up as if it were slot 8 on rk3288 SoCs */
  host->sdio_id0 = 8;