x86/64: add missing kernel symbol