Fixed small bug with modprobe
    Forgot that things can be compiled into the kernel as well
    (i.e., not as modules)