They used to be in mpconfigmcu.h, but have to be different for different chip variants, like the SAMD51x20.
The rename matches other ports, e.g. stm32, and gives consistency with mpconfigboard.h.