[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.

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

(2 comments)

Commit Message:

https://review.coreboot.org/c/coreboot/+/86131/comment/dea74dcf_d497754c?usp... :
PS1, Line 24: severly hindered the performance).
> > `'severly' may be misspelled - perhaps 'severely'?` […]

Yes. Oops...

File src/device/Kconfig:

https://review.coreboot.org/c/coreboot/+/86131/comment/6f493a24_00b436bc?usp... :
PS1, Line 1013: 	bool "Extend resource window for PCIe devices"
> It was missing a prompt, that's why it didn't show up

ack, thanks!