v13
Update .gitignore files
Update copyright notices
modprobe: Fix assertion on --show-depends with bogus config file
rmmod: Teach rmmod about builtin modules