It doesn't make sense to duplicate both on command line, and MICROPY_PORT is effectively mandatory to build docs.
