config/toolchain : add support for Mint
[rpi] linux : build DIB7000M & DIB7000P modules