fix part of kernel code is missing