Thanks a lot for your input @B <kerossin@pm.me> ! To me your arguments make 100% sense. I vote for 3) Make it that minor patch updates (5.11.4-1.2->5.11.4-1.3) work like regular updates (for example 5.11.4->5.11.6) where kernels are not replaced but installed alongside each other and use different directories. I would call it broken to use the same /lib/modules/<kernel-version-omitting-patch-version> directory for different kernel patchversions - especially when you are supposed to install both at the same time and switch between for booting.