# CONFIG_NO_HZ_FULL_SYSIDLE is not set