[Lava-users] Device-type support for TI AM4378 IDK