xen: fix for contiguous region API in kernel 3.13