* fixed bug when displaying negative long
* improved linux kernel debugging support