[coreboot-gerrit] [XS] Change in coreboot[main]: mb/system76/rpl: Fix addw4 Kconfig name