diff --git a/arch/arm/mach-at91/Kconfig b/arch/arm/mach-at91/Kconfig
index 7a895c2..b101e61 100644
--- a/arch/arm/mach-at91/Kconfig
+++ b/arch/arm/mach-at91/Kconfig
@@ -538,6 +538,7 @@
 
 config MACH_MICROCHIP_KSZ9477_EVB
 	bool "Microchip EVB-KSZ9477 Evaluation Kit"
+	depends on ARCH_SAMA5D3
 	select OFDEVICE
 	select COMMON_CLK_OF_PROVIDER
 	help
diff --git a/include/of_device.h b/include/of_device.h
index e84fc9c..44c1c0f 100644
--- a/include/of_device.h
+++ b/include/of_device.h
@@ -41,7 +41,7 @@
 	return NULL;
 }
 #define of_match_device(matches, dev)	\
-	__of_match_device(of_match_ptr(matches), (dev))
+	__of_match_device(matches, (dev))
 
 #endif /* CONFIG_OF */