although I still don't know whether Arduino Mega 1280/2560 boards will
work, their MCUs should at least be configurable from menuconfig