vc_handle_exitcode
result = vc_handle_exitcode(&ctxt, boot_ghcb, exit_code);
result = vc_handle_exitcode(&ctxt, ghcb, error_code);