That's what I initially thought as well, but after reading the datasheet I'm no longer sure.
Here is the description of Reset pin enable from the datasheet:
After POR reset, PTA5/IRQ/TCLK0/RESET functions as RESET. The
SYS_SOPT1[RSTPE] bit must be set to enable the reset functions. When this bit is clear,
this pin can function as PTA5, IRQ, or TCLK0.
That description seems to indicate that you do need to enable the reset. But the SYS_SOPT1 register description says RSTPE is enabled by default:
RESET Pin Enable
This write-once bit can be written after any reset. When RSTPE is set, the PTA5/IRQ/TCLK0/RESET pin
functions as RESET. When clear, the pin functions as one of its alternative functions. This pin defaults to
RESET following an MCU POR. Other resets will not affect this bit. When RSTPE is set, an internal pullup
device on RESET is enabled.
0 PTA5/IRQ/TCLK0/RESET pin functions as PTA5, IRQ, or TCLK0.
1 PTA5/IRQ/TCLK0/RESET pin functions as RESET.
That description clears one of my concerns. A reset source other than POR will not re-enable the reset pin. But how about the initial power-up? It still seems to me there is a potential race here, the micro needs to clear RSTPE before the GPS module wakes up and drives the line low.