To get both sd cards working I needed to add a file to /etc/modprobe.d/sd-card.conf with “options sdhci debug_quirks=1” in it and also modify /boot/grub/menu.lst so “# defoptions=quiet splash pciehp.pciehp_force=1 pciehp.pciehp_poll_mode=1” is in it.