x86-64/smp: fix random SIGSEGV issues