Building Kernel Modules for piCorePlayer 6.0.0, 6.1.0, 7.0.0

Hi, I would like to build kernel modules for piCorePlayer versions 6.0.0, 6.1.0 and 7.0.0.
Where can I find the System.map, Modules.symver and .config files for these versions?

For version 5.0.0, I have found it here: "https://repo.picoreplayer.org/repo/10.x/armv7/releases/RPi/src/kernel/".
But unfortunately not for newer releases.

Many thanks in advance.