What is the right load capacitance for the 32 KHz WCO crystal? The datasheet calls out a range of 6 pF - 12.5 pF but the CYBLE-014008-00 module schematics show capacitor values of 24 pF and 47 pF which would give you a roughly calculated load capacitance of 17 pF. Why does the module use a value that is out of spec according to the datasheet?
It could be there is series capacitance that is reducing the effective capacitance of the load capacitors; They do mention the Cstray in their PSoC 4 datasheet calculations, but ignore it for the "theory" numbers.
I would suspect that the module has been measured to account for the stray capacitance.