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