[coreboot] Patch merged into coreboot/master: 74c0819 i5000: halt second BSP