software/videomixer: use new csr.h