This (and any other port number/name configuration) should be hoisted into the board config header if possible.