x86: fix smpboot integration