[coreboot-gerrit] [S] Change in coreboot[main]: device/Kconfig: Add an option to allocate above 4G by default

[Nico Huber (Code Review)]

Attention is currently required from: Arthur Heymans, Chen, Gang C, Jincheng Li, Paul Menzel, Shuo Liu.

Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/78331?usp=email )

Change subject: device/Kconfig: Add an option to allocate above 4G by default
......................................................................

Patch Set 16: Code-Review+1

(2 comments)

File src/device/Kconfig:

https://review.coreboot.org/c/coreboot/+/78331/comment/4b022842_097fc5ff :
PS16, Line 1012: config RESOURCE_IGNORE_FLAG_IORESOURCE_ABOVE_4G
I think this deserves a more positive naming. e.g. `ALWAYS_ALLOW_ABOVE_4G_ALLOCATION`.

https://review.coreboot.org/c/coreboot/+/78331/comment/61cf422e_0f44870a :
PS16, Line 1019: 32bit mode
Technically the incompatible mode is "flat protected mode", or we could
say "without paging". We do have some PAE code in coreboot, IIRC. So it's
actually possible to access above 4G.