I connected a secondary SD card on my Raspberry Pi 3 B using the SDIO pins in "1 bit mode", but the system only finds the card when its already inserted on boot.
My config.txt has the following:
dtoverlay=sdio-1bit,poll_once=off
I also tried removing the non-removable; line from the dts file and tried compiling it again, but nothing changed.