GPS module UART baud mismatch in code and TimeCard on sale?

Please forgive me if this has already been issued. I'm kinda new to this project, and is working on a Verilog (instead of VHDL) version of the Time Card's FPGA codebase.

In the current open-source version, the GNSS baud rate is 19200 as specified in the block design (the parameter 4):

  set TC_TodSlave_0 [ create_bd_cell -type ip -vlnv nettimelogic.com:TimeCardLib:TC_TodSlave TC_TodSlave_0 ]
  set_property -dict [ list \
   CONFIG.UartDefaultBaudRate_Gen {4} \
 ] $TC_TodSlave_0

But on the time card I purchased (https://www.makerfabs.com/ocp-tap-time-card.html), the baud rate is 115200, and this parameter to 7 in order to function properly.