Known Vulnerabilities in Intel Xeon W2400 processor