mk: fix combined library build with Xen driver