removed call to undefined Wbkrnl::end()