Nevermind, the new kernel fixed the problem. (but I'm still curious).
------------------------------------------
9fans: 9fans
Permalink: https://9fans.topicbox.com/groups/9fans/T6e83ce4d377f67b7-Mfda11368374bec3d22288b65
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription