diff --git a/sys/dev/sdhci/sdhci_xenon.c b/sys/dev/sdhci/sdhci_xenon.c
index a3b76c30557f..08bcba447fcf 100644
--- a/sys/dev/sdhci/sdhci_xenon.c
+++ b/sys/dev/sdhci/sdhci_xenon.c
@@ -62,11 +62,16 @@ __FBSDID("$FreeBSD$");
 #include "sdhci_if.h"
 
 #include "opt_mmccam.h"
+#include "opt_soc.h"
 
 #define	MAX_SLOTS		6
 
 static struct ofw_compat_data compat_data[] = {
 	{ "marvell,armada-3700-sdhci",	1 },
+#ifdef SOC_MARVELL_8K
+	{ "marvell,armada-cp110-sdhci",	1 },
+	{ "marvell,armada-ap806-sdhci",	1 },
+#endif
 	{ NULL, 0 }
 };