[PATCH 6.15 063/480] rust: miscdevice: clarify invariant for `MiscDeviceRegistration`