From: Daniel Horak on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1144#note_5857...
Fedora can move to z13 as it's the lowest hardware in the infrastructure,
which can't be easily changed. But for the change from the current zEC12 to
z13 we should follow the processes (a formal Change, touches multiple
packages). Thus I would leave changing the Fedora options for a later time.
For the correct use of the common/ark/fedora dirs I leave it on the kernel
maintainers :-)