is there an "official" xen0 kernel for fc5 that includes pae support?  i have a 32bit system w/ 6gb ram that works fine with kernel-xen0-2.6.17-1.2174_FC5 (from yum) although it only sees 4gb.  i installed kernel-xen-2.6.17-1.2174_FC5 which says it was built with pae, it sees the full 6gb but fails to bring up the bridge devices when xend starts.  if anyone can point me in the right direction i'd appreciate it.

jason