Zum Transkodieren kannst du 'transcode' oder die Tools aus den 'mjpegtools' benutzen. Das VCD-Image erzeugst du mit vcdmplex aus den 'vcdtools'. Brennen kannst du es mit 'cdrdao' (benötigt 'device atapicam' wenn du einen ATAPI-Brenner hast).
Ich habe zwar noch kein DivX-File damit auf eine VCD gebracht, aber DV von meinem Camcorder (per Firewire). Funktioniert tadellos.