[PATCH] i386: fix 32-bit ioctls on x64_32