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

[Matt DeVillier (Code Review)]

Attention is currently required from: Alicja Michalska, Angel Pons, Arthur Heymans, Christian Walter, David Hendricks, Felix Held, Intel coreboot Reviewers, Johnny Lin, Jonathan Zhang, Patrick Rudolph, Shuo Liu, Tim Chu, Vasiliy Khoruzhick, [e-mail].

Matt DeVillier 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 10: Code-Review+1

(1 comment)

Patchset:

PS9:
> after re-reviewing the code in question I agree with Angel that the rename isn't correct. […]

Done