So the OP responded to me that I could pacman -S/U --overwrite "*"
the DTB’s and overlays to proceed with installing your kernel. (Which I did.) As my install stands right now, the DTB’s should most probably come from your kernel instead of the previous version. And surprisingly those files still work with the old kernel.
Or am I interpreting the situation wrong? Is there any way for me to know what version of the DTB’s/overlays I’m using?
As far as I know, the kernel package had only one version. A package with an older kernel exists from the same person, but I don’t think that counts because a different name is used.
I’ve added my cmdline.txt
in the same space, if you want to have a look at that. See the post containing the link.