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

[Alicja Michalska (Code Review)]

Attention is currently required from: Angel Pons, Arthur Heymans, David Hendricks, Felix Held.

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

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

Patch Set 5:

(2 comments)

File src/device/Kconfig:

https://review.coreboot.org/c/coreboot/+/86131/comment/5789ea81_b994cf60?usp... :
PS4, Line 1015: 	default y
> Looks like the latest patchset changes the default for non-x86 to n. […]

Gotcha, reverted :)

https://review.coreboot.org/c/coreboot/+/86131/comment/76e8ea9c_eb0dd971?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 op […]

How about this one?