Parsing Device Public key

Hi all,

In obtaining the server public key and device private key both are read from the Flash. However, in the fetch_device_public_key() function in ota_flash_hal_stm32f2xx.cpp, what is the reason behind trusting the outcome of parse_device_pubkey_from_privkey() over that read from the Flash at DCT_DEVICE_PUBLIC_KEY_OFFSET? @mdma maybe?