hw/sd/sdhci: Document the datasheet used