[PATCH] symbol_put_addr() locks kernel