First commit for Project Romulus.  Fixed casting bugs for GCC4.8 as detailed in the Xen mailing list.