all of a sudden (don’t know when) my sdcard reader stopped working…

seems there is a bug report and discussion since 4.1.8
https://bugzilla.kernel.org/show_bug.cgi?id=109231
http://comments.gmane.org/gmane.linux.kernel.mmc/34979

this guy seems to have fixed it:
http://www.0xf8.org/2016/01/workaround-for-broken-o2-micro-sd-card-reader-support-since-linux-kernel-version-4-1-8/

insert sdcard and journal says:

Apr 24 08:41:50 anakin kernel: sdhci: Timeout waiting for Buffer Read Ready interrupt during tuning procedure, falling back to fixed sampling clock
Apr 24 08:41:50 anakin kernel: mmc0: tuning execution failed
Apr 24 08:41:50 anakin kernel: mmc0: error -5 whilst initialising SD card
Apr 24 08:41:50 anakin kernel: sdhci: Timeout waiting for Buffer Read Ready interrupt during tuning procedure, falling back to fixed sampling clock
Apr 24 08:41:50 anakin kernel: mmc0: tuning execution failed
Apr 24 08:41:50 anakin kernel: mmc0: error -5 whilst initialising SD card

testing the fix:
rmmod sdhci_pci sdhci_acpi sdhci
modprobe sdhci debug_quirks2="0x4"
modprobe sdhci_pci

and it works again!

so I am adding to /etc/modprobe.d/sdcard_fix.conf
options sdhci debug_quirks2="0x4"

am I doing this right?