Debugging BCCPLEXWDT reset source

I just reported another kernel bug that may be related: [80864.598452] BUG: scheduling while atomic: perception/9656/0x00000302