I remember watching a video on this. You have to drop out of 4K, or the video codec, or something...just while you raise the ISO. When you switch it back it will remain at 6400.
Try switching those. Someone will post the correct settings to change soon...as I’m going to bed. Good luck. [emoji1303][emoji4]