I use Lehto 125-900/stockDSP kernel and I *DO* see great improvement of GUI performance and stuff ...