arm64: add missing kconfig symbol