[pungi-fedora] PR #1279: Add kernel-64k to BaseOS/AppStream to mirror c10s