xen: install xen/gntdev.h and xen/gntalloc.h