removed unused kernel code