Convert SD cards code to use qemu_irq too.