sgx: fix missing v7_dma_flush_range and v7_dma_map_area

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>