Added kernel debugging stubs