[coreboot] Patch merged into coreboot/master: da3087f Mainboard SMI S state handler was using the wrong defines