You can enforce that the Linux kernel not do this with nohz cmdline options