x86_64: add more symbols required to enable SMP