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