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

[Arthur Heymans (Code Review)]

Arthur Heymans has abandoned this change. ( https://review.coreboot.org/c/coreboot/+/77599?usp=email )

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

Abandoned