[Query] Ticks happen in pair for NO_HZ_FULL cores ?