Fix a kprobes bug, plus add a new Intel model number to the
upstream <asm/intel-family.h> header for drivers to use.

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