Hello Sören,
I suppose that both chapters are correct, because in SIM_SOPT4 register you can choose fault detection input between two possible options (fault pin or CMP), for example FTM1_FAULT0.
Even, FTM1_FAULT1 is hardwired to CMP1 output, thus, you are not able to change Fault input. There is not required changes in register.
best regards,
M.