Re: [vdr] PCI fun (RGB/PAL over VGA at variable frame rate)