[PATCH 2/2] stdio: fix stdio_deregister_dev()