minor updates to kernel