[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 19: Code-Review+1

(1 comment)

File src/device/Kconfig:

https://review.coreboot.org/c/coreboot/+/78331/comment/50d330ce_64fefbe5 :
PS16, Line 1019: 32bit mode
> Since resource allocation will be programmed into PCI BARs, which provides 64bit BAR register if nee […]

I guess that's ok, as it doesn't have a prompt.