[PATCH v1 01/11] stdio: Get rid of dead code, i.e. stdio_deregister()