Power-up list of slaves mismatch with manual

In the current configs in the /configs directory the power_up_registers_slave list is missing two registers that are mentioned in the manual: CLKGPLLPropCur, CLKGCDRPropCur Is there are reason these are left out? It should not have any implications on the start-up though, the default values 0x99 // 0x55 are loaded from the ROM.

Also are you aware of this (new to me) sub-chapter regarding initialization of secondary devices where the master is the clock source?