vsprintf: don't use 'restricted_pointer()' when not restricting