vnsi fixes

some fixes for vnsi. the wrong format specifier in the log message made the system crash after resume.