The reference manual for STM32F407 shows (RM0090) that the PTP clock is running from the SYSCLK directly, however, the PTP chapter says that it is controlled by the HCLK. I'm confused now, and experiments show that it is running from HCLK actually. S...