Well I've been having the same problems as you guys with Xen 3.0.2. However, I looked up the Makefile for 3.0.2 online and it seems different from the Makefile included with the source tarball. So maybe just switching the Makefile will make something work? Huh huh? Let me know... Might just be wishful thinking... Here's the makefile I found.