[PATCH 6.7 016/713] x86/xen: Add some null pointer checking to smp.c