[Lava-users] [PATCH] device-types: add TI da850-lcdk