That sounds accurate - PowerPath licensing does not take in to account multiple cores per CPU socket.  So in your example you have 2 servers, each with 2 CPUs...you would need to license PowerPath for 4 CPUs total.
How is PowerPath licensed?  Is it per server or per CPU?  thanks
PowerPath License