Andy, from looking at the amd64 config, that might actually be fallout from the nohz changes in 3.10. Have you tried
CONFIG_NO_HZ_IDLE=y CONFIG_NO_HZ_FULL=n
instead?
Andy,
from looking at the amd64 config, that might actually be fallout from the nohz changes in 3.10. Have you tried
CONFIG_NO_HZ_IDLE=y
CONFIG_NO_HZ_FULL=n
instead?