nohz_full (or full dynticks) is a Linux kernel setting that should reduce kernel noise on configured CPUs to a minimum. This change activates this setting on all vCPUs except the first one. Change-Id: Ie009aff52d572873da0bb5cc43fedd7f3325dccc