Fix handling of direct section unmapping.
    Use local variant of tlb_fush functions where appropriate