Thank you guys very much for your kind answers. I can not prove it actually: but I think it's right. It seems upgrading binutils could have solved the problem. I am sorry for my impreciseness: but in the actual Ubuntu kernel version, 4.4.0-31** ?, the problem seems fixed. I can enable kernel tracing without hitting a panic. Thank you very much for your help and replies.
