nohz: Set isolcpus when nohz_full is set