Debian Intel(r) Processors Vulnerabilities