x86_64: prepare shared kernel/smp.c