> I have committed this after regenerating modules.inc to keep the diff
> small.

Thanks muchly!

> I usually do 'make modgo-gen-modules | tee /tmp/modules.inc'. If the
> output looks right, 'mv /tmp/modules.inc .' and edit the file to
> remove the MODGO_VERSION bits. Compare my diff with yours quoted
> below (most of the noise in yours comes from converting tabs to spaces).

Good tip. I'll do what I can to clean up my diffs in the future. :)