[PATCH] x86_64: Fix SMP bootup with CONFIG_KDUMP enabled