kernel/signal.c : fix build warning