Tu lo has dicho... Debe ser cosa tuya, de tu terminal, no he tenido nunca nada de lag, y hablando de Revolution, las llevo desde la primera allá por diciembre del 2012.
Juega con kernels y configuraciones hasta que des con labtecla. Cada terminal es un mundo. Te aconsejo el nuevo kernel de Alexret, a mi me va de miedo.