kernel: add missing ARM64_SSBD symbol