Intel Core i7-2600K and encoding with VirtualDub