Re: [PATCH] binfmt_flat: make load_flat_shared_library() work