9f4df86016
They used to be in mpconfigmcu.h, but have to be different for different chip variants, like the SAMD51x20.