Hello Pavel,
PC> Should be 1.129.2.2. Something is wrong with your
> checkout/update.
I updated and sure enough, it changed to 1.129.2.2.
Either I should have updated immediately after checking out
the source, or someone replaced the file in the last few
days.
Sincere thanks to everyone who has helped me with this.
I am now running a freshly-compiled custom kernel.
- Andy Ball.