Simon Baatz wrote (28 Jun 2012 18:21:28 GMT) : > This seems to be another instance of VIVT L1 caching weirdness. > The problem has been discussed years ago on the arm kernel mailing > list (see [1]) and a patch has been proposed at that time. > Apparently, that never made it into the kernel. Thanks a lot for your analysis. I've cloned that bug and reassigned the new one to src:linux: http://bugs.debian.org/679449