Bug#861195: kernel-image-4.9.0-2-686-pae-di: RC 3 Installer: missing kernel module for Texas Instruments card reader

[Brian Potkin <claremont102@gmail.com>]

Package: kernel-image-4.9.0-2-686-pae-di
Severity: normal
Tags: d-i


There has been a longish discussion on -user relating to card readers.
It begins at

  https://lists.debian.org/debian-user/2017/04/msg00329.html

The issue which this bug report concerns is in

  https://lists.debian.org/debian-user/2017/04/msg00792.html

I hope there is sufficient detail to make clear what the problem is.
Basically, the installer does not provide the tifm_7xx1 kernel module.
An SD card in the reader is not offered for partitioning.

Regards,

Brian.