[PATCH] sem2mutex: HPFS