[x86]: smp works on real hardware