[PATCH 6.1 024/451] x86/xen: Add some null pointer checking to smp.c