[Query] Can we use normal timers (kernel/timer.c) while in NO_HZ_FULL mode?