hppfs can use existing proc_mnt, no need for do_kern_mount() in there