[coreboot-gerrit] [XS] Change in coreboot[main]: device/Kconfig: Make option to allocate above 4G appear in Kconfig

[Angel Pons (Code Review)]

Attention is currently required from: Alicja Michalska, Arthur Heymans, Felix Held.

Angel Pons 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 4:

(2 comments)

File src/device/Kconfig:

https://review.coreboot.org/c/coreboot/+/86131/comment/e62b1510_7517687f?usp... :
PS4, Line 1015: 	default y
> According to Arthur Heymans, it should be on for non-x86. […]

Looks like the latest patchset changes the default for non-x86 to n. Made a suggestion to undo this change.

https://review.coreboot.org/c/coreboot/+/86131/comment/765cc93e_f8ef5de5?usp... :
PS4, Line 1014: 	default n
```suggestion
    default n if ARCH_X86
    default y
```