I think the question of my GP is: Aren't better new kernels better for most people than slightly worse new kernels that are better for only very, very few people? :)
If I want to run these binaries on my daily driver, it’s much easier if I don’t have to start up a VM. I want the latest Linux kernel on my daily driver for hopefully self-evident reasons.