Resolve virsh start a domain (VM) failed problem

After CVE-2019-11477 and a few other CVEs broke out, Linux kernel released 5.1.11 to address the vulnerabilities. My VM host machine is constantly running on the latest kernel (provided by ELRepo). When I reboot into the new kernel and want to start one of my KVM boxes, this error appears: Host CPU does not provide …