Paul Bolle schreef op ma 19-04-2021 om 02:45 [+0200]:
each architecture's kernel-cross-headers file ships its OWN
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.