linux/Documentation/features/time/arch-tick-broadcast/