Solve the issues on monitor_printf and vm_stop, but not tested yet