[PATCH 4.19 002/148] x86/xen: Add some null pointer checking to smp.c