DeviceController: fix revoke_certificate