Is this change (and the corresponding one in drivers/tapdisk2.c) related to this ticket?