[Bug 396220] AMD Sempron 3500/3600+ needs highres=off and nohz= off boot params