CPU cores do not match user defined number under the OS - Lenovo Support GB