I've had a number of crashes in semaphore.c of the mips64 kernel; enough to no longer believe this might be some sort of memory corruption or otherwise unrelated to semaphore code: kernel BUG at semaphore.c:235! Cpu 0 Unable to handle kernel paging request at address 00000000, epc == 800208ac, ra == 800208ac Oops: 0001 Cpu 0 Ralf
