Sé que supondrá más trabajo, pero sería interesante que trataras de obtener datos objetivos para comparar el rendimiento antes y después. Lo de "siento que todo va más fluido" sirve de poco, la mayoría de las veces no es más que autosugestión.
A ver si alguien sabe aconsejar buenas herramientas de "benchmarking" para poder hacer una comparación rigurosa.
Post-edición: Me he puesto a buscar información acerca de "benchmarking" en GNU/Linux, y la información que encuentro es un poco viejilla. Por ejemplo, el
Linux Benchmarking Toolkit parece interesante, pero ese documento tiene ya 10 años.
Este otro es más reciente, de finales de 2003, así que algo sí se podrá aprovechar, pero no sé hasta qué punto. Y este
Linux Benchmark Suite no se actualiza desde el 2002. Y de rebote, he encontrado
razones para usar un kernel precompilado.