Para solucionarlo, con la máquina apagada, hay que añadir un parámetro en opciones de máquina -> Avanzado -> Editar configuración.
Le damos agregar parámetro y añadimos cpuid.coresPerSocket con el valor 2, 4 o 8. Hay que probar uno de los 3 valores.