arm64: Ensure the secondary CPUs have safe ASIDBits size