全志A40i开发板支持哪种Linux系统?