[PATCH AUTOSEL 6.1 08/12] x86/xen: Add some null pointer checking to smp.c