Comment # 2 on bug 1185332 from Paolo Panto

(In reply to Paolo Panto from comment #1)

but what is missing is kernel-default-devel = 5.11.16-1 for x86_64