add some apparently missing dma cache ops to the korina driver