[coreboot] Patch merged into coreboot/master: 1485980 Fix ExecuteFinalHltInstruction function in f15h family code