Kernel error, after shutdowning ppp device

[Georgoulias Tom-rn0621]

This was a bug that has since been fixed.

I used the patch attached to bugzilla #125824, but the -435 kernel has a 
different one in there that seems to fix it as well.

Tom


-- 
Tom Georgoulias
POPI Classification
[x] General Business Information
[] Freescale Semiconductor Internal Use
[] Freescale Semiconductor Confidential Proprietary