more updates for kernel