i.e. Set the GPS_DEFAULT_UART_PORT in src/drivers/boards/[(px4fmu-v1)|(px4fmu-v2)|(aerocore)/board_config.h instead?

Please forgive the newbie question: Do you prefer a subsequent patch for this or a new pull-request?