[coreboot-gerrit] Change in coreboot[master]: mb/Kconfig: add option for choosing the default state of s0ix