[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, 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 7:

(1 comment)

File src/device/Kconfig:

https://review.coreboot.org/c/coreboot/+/86131/comment/5404aae7_afc4ccea?usp... :
PS6, Line 1013: 	bool "Extend resource window for PCIe devices above 4G"
> didn't think of that one, but that would probably be the best way to handle this

ACK, wanted to do this yesterday after talking to Arthur. Thanks!