Fix DDK3790 build failure.