4c307bfba1
It can still be overwritten by a port in mpconfigport.h but for almost all cases one can use the provided default.