[Bug 1183739] Make kernels with same release number but different patchlevel installable in parallel, i.e. use different /lib/modules for modules and different "uname -r" output