add more logging to run_vm86()