sdhci_xenon: Add Marvell 8k compatible string

Sponsored by:	Rubicon Communications, LLC ("Netgate")

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 }
 };