[ob] user-regs.c build fix for arm-linux

[Andrew Cagney]

> +/* We call this gdb_user_regs instead of user_regs to avoid conflicts with
> +   any struct user_regs in system headers (for instance, ARM GNU/Linux).  */

Please be more explicit.

Andrew