Can't tell if prores4444XQ is any different than prores4444 in ffmpeg 4.1
FFmpeg does have 12 bit pixel formats but the prores_ks encoder is limited to 10 bits. The 4444XQ profile features higher bitrates. Open a ticket at trac.ffmpeg,org, if you like.