El problema resultó ser que el proceso de actualización de Windows 8.1 desactivó la configuración "Usar calibración de pantalla de Windows" en todo el sistema. Tenía esa configuración activada en Windows 8 para asegurarme de que mis perfiles de color funcionarían.
Por alguna razón, la actualización desactivó esta configuración y la solución fue volver a activarla:
- Abra el panel de control de Color Management.
- Vaya a la pestaña Avanzado.
- Haga clic en "Cambiar los valores predeterminados del sistema ..."
- Vaya a la pestaña Avanzado en el cuadro de diálogo Administración de color: valores predeterminados del sistema.
- Active "Usar calibración de pantalla de Windows" y haga clic en Cerrar.
- Ahora regrese a la pestaña Dispositivos, cambie los perfiles allí y haga clic en "Establecer como perfil predeterminado" como de costumbre.
En una de las dos máquinas me topé con esta solución a través de una ruta indirecta: pasé por la calibración de Windows incorporada (botón "Calibrar pantalla" en la pestaña avanzada), y después de hacer eso, todos los perfiles comenzaron a funcionar. Pero la solución real fue que el procedimiento de calibración incorporado también activó la configuración de calibración de Windows en todo el sistema. En la segunda máquina, salté la calibración de Windows y seguí el procedimiento anterior y funcionó.