h264: define FF_PROFILE_H264_HIGH_444 to the correct value