removed debug info in kernel.v that was causing build errors