Stable kernel 2.6.25.9

I do not think so. 2.6.23 also went up to .17 in its lifetime. By the time 2.6.26 is out, we
probably have 2.6.25.10, so until 2.6.27 comes out, perhaps up to 2.6.25.15 too if there is a
lot of stableness to do -- in other words, regular schedule as usual.