Embedded board hardware of NXP known to be supported by T2/Linux