Re: [PATCH] mount: fix duplicate mounts using the new mount API