Hi,

I have been working on the changes suggested by Mark K and Andrew C. Here is 
the first patch. This adds support for a new osabi for linux kernel.

I haven't added any support for detecting kernel osabi automatically. 
Detecting it with present kernel binary structure is rather shaky. It's safer 
to let users run the command "set osabi Linux-kernel".

I'll be later sending more patches.

Please review it and let me know if it's ok for inclusion in gdb.
Thanks.
-Amit