rest: no kernel arguments if device is unregistered