Misc fixes:

 - Fix a possible CPU hotplug deadlock bug caused by the new
   TSC synchronization code.

 - Fix a legacy PIC discovery bug that results in device troubles on
   affected systems, such as non-working keybards, etc.

 - Add a new Intel CPU model number to <asm/intel-family.h>.

Signed-off-by: Ingo Molnar <mingo@kernel.org>