>>>>> "Andrew" == Andrew Ruder <andrew.ruder at elecsyscorp.com> writes: > This seems to especially affect the kernel, but in an > interrupt-heavy system, this fixes a bug that can cause frequent > NULL pointer dereference crashes on ARM systems. Committed, thanks. -- Bye, Peter Korsgaard