25 MHz doesn't divide evenly down to 48MHz which makes it impossible to use USB and have the core clock > the HSE source. 32 MHz or some other speed would be better, the TCXO used for the SX1262 should be pin to pin compatible with the current HSE, not sure if the footprint is close enough