[coreboot-gerrit] [S] 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, Christian Walter, David Hendricks, Felix Held, Intel coreboot Reviewers, Johnny Lin, Jonathan Zhang, Matt DeVillier, Patrick Rudolph, Shuo Liu, Tim Chu, Vasiliy Khoruzhick, [e-mail].

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

(1 comment)

Patchset:

PS9:
> based on the discussion in the review meeting, I thought the renaming was going to be a separate cha […]

Yes, but in my opinion it makes sense to address it here since it's a relatively simple change (adding bool, condition, and simplifying the config option).

I did not expect this change to ping such a large group of people though...