CVE Counts as a Practical Proxy Metric for Linux Kernel Dependability | Synapse