allocator_v4: Disable top-down allocation for EDK2

EDK2 seems to have problems at least with the resource allocation for
Intel's IGD. While the investigation is ongoing, disable top-down
allocation by default if the payload is known to be EDK2.

Change-Id: I771d8a3b74b54a043624843a00498225d1f509ad
Signed-off-by: Nico Huber <nico.h@gmx.de>
Ticket: https://ticket.coreboot.org/issues/499
Reviewed-on: https://review.coreboot.org/c/coreboot/+/76373
Reviewed-by: Michał Żygowski <michal.zygowski@3mdeb.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Sean Rhodes <sean@starlabs.systems>
diff --git a/src/device/Kconfig b/src/device/Kconfig
index 2d2c6ff..8c6c734 100644
--- a/src/device/Kconfig
+++ b/src/device/Kconfig
@@ -994,12 +994,15 @@
 	  is aborted and an error returned.
 
 config RESOURCE_ALLOCATION_TOP_DOWN
-	def_bool y
+	bool "Allocate resources from top down"
+	default n if PAYLOAD_EDK2
+	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.
+	  undeclared resources. EDK2 is currently reported to also have
+	  problems on some platforms, at least with Intel's IGD.
 
 config XHCI_UTILS
 	def_bool n