Switch to the Xen sources from the CentOS 6.4 SRPM
Modified Makefile to reflect change to Xen source version