platform-raspberrypi-dt kernelconfig: disable CONFIG_MMC_SDHCI_BCM2835_VERIFY_WORKAROUND for removing back-to-back write messages