Re: [PATCH 2/2] docs/about: Deprecate the old "power5+" and "power7+" CPU names