Re: kernel bug in combination with jdb