remove some debug printf's from kernel (stringify doesn't handle it properly)