Maybe mention the extract_sdk script here: https://github.com/theuni/osx-cross-depends/blob/master/extract_sdk.sh
It automates this step as far as possible.