[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: Arthur Heymans, David Hendricks, Felix Held, Matt DeVillier.

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 6:

(1 comment)

File src/device/Kconfig:

https://review.coreboot.org/c/coreboot/+/86131/comment/d779cc02_e9926ad7?usp... :
PS4, Line 1013: 	bool "Extend resource window for PCIe devices"
> i like Matt's suggestion and find the above 4G part to be important in there

Likewise, I applied it. I assume you're okay with that, so I'll mark this as resolved. Thanks! :)