Given the very limited range of values in d2, what meaningful value for "-d of a.b.c-d" do you have in mind for d2? In case there is a history kept on the host for all the used guest_os_id values over the years, I think the total number of Tumbleweed kernels is likely very low. It is likely safe to drop it from master in case it becomes a burden. Regarding the URL returned by "git grep ff542653", this site was moved or removed.