(XDK) Cleanup xdk_ctx_driver_destroy