[coreboot] Patch merged into coreboot/master: 859e808 Make set_boot_successful depend on PC80_SYSTEM