Paul Bolle schreef op ma 19-04-2021 om 02:45 [+0200]:
each architecture's kernel-cross-headers file ships its OWN kernel-headers six times.
My point got obscured by the verbosity of my message. In short: Fedora ships clearly broken kernel-cross-headers!
In the mean time I figured out it does so since October 2019. F31 and all later releases never came with correct kernel-cross-headers. Perhaps this package should be dropped.
Paul Bolle