xeon l5640 firmware vulnerabilities and exploits