profiling: simple test

vcore.h has inlines for reading resume and total times for the
current vcpu. prot_test will do simple tests to test those values.
prof_test is not running as an mcp currently so prints nothing useful.

Signed-off-by: Ronald G. Minnich <rminnich@google.com>