WARNING: at kernel/time/tick-broadcast.c