CodeLinaro / la / platform / vendor / opensource / synx-kernel