1. 2016-10-31 [PATCH 10/10] arm64: configs: enable SDHCI driver for linux-arm Gregory CLEMENT 2. 2016-10-31 [PATCH 10/10] arm64: configs: enable SDHCI driver for linux-mmc Gregory CLEMENT 3. 2016-10-31 [PATCH 10/10] arm64: configs: enable SDHCI driver for linux-ker Gregory CLEMENT 4. 2016-10-31 [PATCH 10/10] arm64: configs: enable SDHCI driver for devicetre Gregory CLEMENT 5. 2016-10-07 [PATCH 10/10] arm64: configs: enable SDHCI driver for linux-arm Gregory CLEMENT 6. 2016-10-07 [PATCH 10/10] arm64: configs: enable SDHCI driver for linux-ker Gregory CLEMENT 7. 2016-10-07 [PATCH 10/10] arm64: configs: enable SDHCI driver for devicetre Gregory CLEMENT 8. 2016-10-07 [PATCH 10/10] arm64: configs: enable SDHCI driver for linux-mmc Gregory CLEMENT