Arigato gozaimas, Nemoto-san! I have applied your patch (actually back-ported it to the 2.6.17.7 kernel I'm using). I built the kernel, and then recompiled glibc against the patched headers, and booted into the SB1-based board. The NPTL robust mutex test cases pass now, including the process-shared one.
