Delete debug info and rename the interface

Delete all the debug information.
Rename interfaces make_vcpu_checkpoint -> vcpu_checkpoint.

Signed-off-by: Arthur Chunqi Li <yzt356@gmail.com>