Known Vulnerabilities in AMD Ryzen PRO 4000 Series Desktop Processors