[coreboot] New patch to review for coreboot: 58d945d Add dependency for CONFIG_AP_IN_SIPI_WAIT