Embedded boards of Andes known to be supported by T2/Linux