Based on the hardware RNG.
Located at the boards directory. That way, the mpconfigboard.h files are almost empty, just setting the board name and the MCU name.