Re: [vdr] [PATCH] RGB/PAL over VGA at variable frame rate