# CONFIG_MMC_REALTEK_PCI is not set
