[Intel-gfx] cerryview sd card problem

[Giacomo Comes]

Hi,
I hope this is the appropriate place to ask what follows.
If not please point me to the right place.

I have a couple of cerryview systems
(Acer Aspire R11 and Intel compute stick STK1AW32SC) on which
I run linux (openSUSE 42.1) with a 4.7 kernel.

I have a problem though with the sd card reader:
in normal condition the kernel does not see the card reader.
The modules pinctrl-cherryview.ko and sdhci-pci.ko are both 
loaded but the sd device is missing.

Following the suggestion found here:
https://bugzilla.opensuse.org/show_bug.cgi?id=954532#c24
I "fixed" the problem by adding the module pinctrl-cherryview
in the initrd.

I was wondering if the necessity to put pinctrl-cherryview in
the initrd is due to a bug in the kernel driver or it is a distro
issue.

Giacomo