[PATCH v2] Add cpu information to the info os command on linux.

[Eli Zaretskii]

> From: Antoine Tremblay <antoine.tremblay@ericsson.com>
> CC: Antoine Tremblay <antoine.tremblay@ericsson.com>
> Date: Fri, 27 Mar 2015 09:41:46 -0400
> 
> In this patch v2 :
> 
>  - NEWs section update
>  - GDB manual update and reorder of the entries
>  - ChangeLog fix
>  - Various styles problems in .c fixes sorry about that
> seems like it takes time to get this style in my head..
> */

The documentation parts are OK.

Thanks.