Minor kernel updates