[XS] Change in coreboot[main]: device/Kconfig: Make option to allocate above 4G appear in Kconfig

[Felix Held (Code Review)]

Attention is currently required from: Alicja Michalska, Angel Pons, Arthur Heymans.

Felix Held has posted comments on this change by Alicja Michalska. ( https://review.coreboot.org/c/coreboot/+/86131?usp=email )

The change is no longer submittable: All-Comments-Resolved is unsatisfied now.

Change subject: device/Kconfig: Make option to allocate above 4G appear in Kconfig
......................................................................

Patch Set 4:

(2 comments)

File src/device/Kconfig:

https://review.coreboot.org/c/coreboot/+/86131/comment/5a25bb0a_5ec09c34?usp... :
PS4, Line 1015: 	default y
is it intended that the default is changed for all non-x86 arcitectures?

https://review.coreboot.org/c/coreboot/+/86131/comment/3893cd8e_e161efaa?usp... :
PS4, Line 1013: 	bool "Extend resource window for PCIe devices"
i;d change the prompt text to be more descriptive of what it does; at least to me the name of the option is more descriptive than then prompt test