1) Fix a bug in KSH : after the "load" command,
the [ksh] prompt is now printed after completion of the loaded application.
2) Fix a bug in vmm_handle_cow() : the copy-on-write
use now a hal_remote_memcpy() to replicate the page content.