RPI3 / bcm2835 sdhci device driver

[Klaus P. Ohrhallinger]

Hello,

This is a device driver for the second SDHCI on Raspberry Pi 3:

http://kweb.7he.at/tmp/rpi/sdhci0-01.diff

It allows the Arasan SDHCI to be used for other purposes, e.g. driving
the radio (wlan) module.

Regards,
Klaus