mini-os: Add general flush_tlb_single to fix compilation w/ 'pvh = n'

PV flush_tlb_single using mmuext_op is not currently used in mini-os,
since it is usually piggybacked in update_va_mapping. But, add it for
future use as well as good looking in general.