On Mon, 5 Nov 2007, Dmitry Timoshkov wrote: [...]
A proper fix would be either to remove that particular test altogether, or replace 0x1000 by 0x200.
Oops, I see that in the patch I sent it was still set to 0xf00 which was just an experiment. Setting it to 0x200 works for me. I'm sending a patch.