[PATCH] restore export of do_kern_mount()