Re: [vdr] [PATCH] dxr3plugin fix for AMD64 cpuid segv