Adds to Linux the ability to really forcibly unmount a filesystem, even if it has users.