Fix build for codina devices