cloning: flush cache after stage2_set_pte()

This is just a workaround, we should find out which part of caches
are necessary to be flushed.