[coreboot-gerrit] [M] Change in coreboot[master]: device: Add Kconfig options for D3COLD_SUPPORT and NO_S0IX_SUPPORT

[Michael Niewöhner (Code Review)]

Michael Niewöhner has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/72799 )

Change subject: device: Add Kconfig options for D3COLD_SUPPORT and NO_S0IX_SUPPORT
......................................................................

Patch Set 3:

(1 comment)

Patchset:

PS3: 
erm, so now we have both Kconfig AND devicetree, which can even be inconsistent? o.O