Use different builders for different kernel versions

[antoineco]

~DRAFT until Fedora 37 final gets released.~ [irrelevant, beta is fully functional]

~This is also not going to work until Lima's initialization timeout can be customized: https://github.com/lima-vm/lima/pull/1143~ [merged]