made the kernel reloadable