diff --git a/src/device/Kconfig b/src/device/Kconfig
index bfb38b442f..e1a8d38ea3 100644
--- a/src/device/Kconfig
+++ b/src/device/Kconfig
@@ -994,14 +994,16 @@ config I2C_TRANSFER_TIMEOUT_US
 
 config RESOURCE_ALLOCATION_TOP_DOWN
 	bool "Allocate resources from top down"
-	default n if PAYLOAD_EDK2
+	default n if PAYLOAD_EDK2 && EDK2_REPO_OFFICIAL
 	default y
 	help
 	  Top-down allocation is required to place resources above 4G by
 	  default (i.e. even when there is still space below). On some
 	  platforms, it might make a difference because of conflicts with
-	  undeclared resources. EDK2 is currently reported to also have
-	  problems on some platforms, at least with Intel's IGD.
+	  undeclared resources.
+
+	  Upstream EDK2 is currently reported to also have problems on some
+	  platforms at least with Intel's IGD; MrChromebox's fork works fine.
 
 config ALWAYS_ALLOW_ABOVE_4G_ALLOCATION
 	bool