This patch increases the size of the JDB kernel object names buffer. The original size was too small for some Genode scenarios and caused missing thread names in the kernel debugger thread list. Fixes #191.
