erst mal willkommen hier im Forum, in dem Anwender Anwendern helfen.
Nach meiner Kenntnis ist ein Export in AVCHD nur bis FullHD möglich, nicht jedoch in UHD. Um in UHD zu exportieren, solltest Du MP4 oder HEVC nutzen.
Wenn Du im Exportfenster bist, kannst Du einen Haken bei "Alle anzeigen" setzen, dann siehst Du alle Möglichkeiten. Außerdem kannst Du bei der Auswahl manuell durck Klick auf die 3 Punkte Eingaben ändern. Bei AVCHD funktioniert das bei Deiner gewünschten Auflösung leider nicht.