But a little endian kernel with that optimization works? Sounds like a gcc bug we should investigate!
Sorry, I don't remember clearly. I'm on trip this weekend, and cannot verify it for a while. After returning home, I will examine and report conditions to reproduce buggy kernels. Rin