x86: merge includes in smp.h