[coreboot] Patch set updated for coreboot: 1d6e584 AMD hudson: Round the float pointing number to integer