[PATCH] x86-64: Print type and size correctly for unknown compat ioctls