Hi tlongeri,
Thanks for your careful reading.
No, you still need to refer to the datasheet, make sure the fADCK in the range of 1M to 18Mhz when <=13bit mode.

Reference manual is just give an example, and that it not accurate.
As the RM normally is the same module content for a lot of kinetis chip, so it may have the wrong content.
Anyway, when you use the related ADC clock, please make sure it meet the datasheet's demand, you can consider the RM give you the calculation method.
Thanks a lot for your understanding.
Best Regards,
Kerry