Revert "allocator_v4: Treat above 4G resources more natively"

This reverts commit 117e436115484f0ce184114b22b716616592e77e.

Depends on top-down allocation to keep the behavior to place
hot-plug reservations above 4G. The latter was merged prema-
turely, though.

Change-Id: I5721cb84b29fc42240dff94f49a94461d88e7fbc
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/67329
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Lean Sheng Tan <sheng.tan@9elements.com>
Reviewed-by: Martin L Roth <gaumless@gmail.com>
diff --git a/src/device/Kconfig b/src/device/Kconfig
index 8d10c17f..af9beb3 100644
--- a/src/device/Kconfig
+++ b/src/device/Kconfig
@@ -934,7 +934,7 @@
 	  above 4G boundary as well.
 
 config RESOURCE_ALLOCATION_TOP_DOWN
-	bool "Allocate resources from top down" if !PCIEXP_HOTPLUG_PREFETCH_MEM_ABOVE_4G
+	bool "Allocate resources from top down"
 	default y
 	depends on RESOURCE_ALLOCATOR_V4