GNSS module compatibility with PX4 firmware

Hey there everyone.
So I was wondering whether selection of GNSS module is dependent or independent of the firmware you are using ? Because for example : If I consider CUAV V6X Pixhawk, which is compatible with PX4 firmware, the compatible GNSS module according to them is Neo 3 Pro GNSS module. However, there are issues related to Neo 3 Pro GNSS module recording the timestamp in PX4 firmware. I didn’t know that even sensors needs to be checked whether they are compatible with PX4 firmware or not. So I need your humble inputs on these.

Thank you in advance.