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

[Shuo Liu (Code Review)]

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

Shuo Liu has uploaded a new patch set (#16) to the change originally created by Arthur Heymans. ( https://review.coreboot.org/c/coreboot/+/78331?usp=email )

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

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

TEST=intel/archercity CRB

Signed-off-by: Arthur Heymans 
Change-Id: I01218a8a3efc4a5f8ba344808949ca6b8898525f
---
M src/device/Kconfig
M src/device/resource_allocator_v4.c
2 files changed, 12 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/31/78331/16