user/vmm: print the RSP as well as RIP