The pinctrl-cherryview driver isn't needed only for mmc but for other things, too. Judging only from the mmcblk doesn't work reliably in that sense. That said, basically it's correct to include this module when INT33FF is present. The driver shall be always loaded by every system that has INT33FF. It bails out when no corresponding component is found, so it's not visible in lsmod at later point. So it's just a matter of the timing and a slight increase of initrd size, after all.