arm64: Fix !CONFIG_SMP kernel build