I have two UDOOx86s. One from kickstarter and another purchased recently. Found that new one is not detecting sdcards in Debian9 even with "options sdhci debug_quirks2=0x4". There is no sdcard detection problem in windows10 on same board. Older board used to detect sdcards just fine on Debian9. Any suggestions?