Maybe I misunderstood your initial explanations. I thought that you just didn't have enough resources for previous VM, so it was slow. And now you have more powerful hardware dedicated for Check Point log server.
Do you know what is the reason for slowness? HDD, CPU, RAM?
As far as I know, Check Point supports only very few vendors of network interfaces, and Intel is the best way to go.
They promise to support more hardware with the new Linux kernel version in R80.20. Maybe you could also contact Check Point team for EA and check if it could help: https://community.checkpoint.com/message/20221-r8020-ea-for-gateway-with-linux-310-kernel-coming-soo...