This reverts commit 79af7fbf4e. Because: * btashton reported some issues in local builds: https://github.com/apache/incubator-nuttx/pull/603#issuecomment-602264860 * this might be related to the current CI breakage: > /bin/sh: 1: /__w/incubator-nuttx/incubator-nuttx/nuttx/tools/mkdeps: not found
79af7fbf4e