Added kern_extensions directory for kernel extensions