diff -r dcbff25269d2 drivers/net/sfc/Kconfig
--- a/drivers/net/sfc/Kconfig
+++ b/drivers/net/sfc/Kconfig
@@ -28,7 +28,7 @@ config SFC_MTD
 	  new boot ROM to the NIC.
 
 config SFC_RESOURCE
-	depends on SFC
+	depends on SFC && X86
 	tristate "Solarflare Solarstorm SFC4000 resource driver"
 	help
 	  This module provides the SFC resource manager driver.
diff -r dcbff25269d2 drivers/xen/Kconfig
--- a/drivers/xen/Kconfig
+++ b/drivers/xen/Kconfig
@@ -81,11 +81,12 @@ config XEN_NETDEV_PIPELINED_TRANSMITTER
 
 config XEN_NETDEV_ACCEL_SFC_UTIL
         tristate
+        depends on X86
         default n
 
 config XEN_NETDEV_ACCEL_SFC_BACKEND
 	tristate "Network-device backend driver acceleration for Solarflare NICs"
-        depends on XEN_NETDEV_BACKEND
+        depends on XEN_NETDEV_BACKEND && SFC && SFC_RESOURCE && X86
         select XEN_NETDEV_ACCEL_SFC_UTIL
         default m
 
@@ -194,7 +195,7 @@ config XEN_GRANT_DEV
 
 config XEN_NETDEV_ACCEL_SFC_FRONTEND
 	tristate "Network-device frontend driver acceleration for Solarflare NICs"
-	depends on XEN_NETDEV_FRONTEND
+	depends on XEN_NETDEV_FRONTEND && X86
         select XEN_NETDEV_ACCEL_SFC_UTIL
 	default m