[libvirt] [PATCH] build: work around broken kernel header