diff --git a/includes/rocky-9-repos.ksi b/includes/rocky-9-repos.ksi
index a2bd71d..4f5fabc 100644
--- a/includes/rocky-9-repos.ksi
+++ b/includes/rocky-9-repos.ksi
@@ -18,13 +18,13 @@ repo --install --name=EPEL --mirrorlist=https://mirrors.fedoraproject.org/mirror
 repo --install --name=ELRepo        --mirrorlist=http://mirrors.elrepo.org/mirrors-elrepo.el9
 repo --install --name=ELRepo-Kernel --mirrorlist=http://mirrors.elrepo.org/mirrors-elrepo-kernel.el9
 
-# Enable my COPR
+# Temporarily enable my COPR for SIG/AltArch stuff
 # TODO: disable this
 repo --install --name=COPR-thefossguy --baseurl=https://download.copr.fedorainfracloud.org/results/prathampatel/epel-carryover/epel-9-aarch64
 
 # Enable Sherif's repo (contains all the necessary firmware + uboot stuff)
-# TODO: disable this after <sig-altarch>
-repo --name="instKern" --baseurl=https://rockyrepos.gnulab.org/gen_aarch64_el9/ --cost=100 --install # TODO: remove this
+# TODO: disable this after <sig-altarch> is ready
+#repo --name="instKern" --baseurl=https://rockyrepos.gnulab.org/gen_aarch64_el9/ --cost=100 --install # TODO: remove this
 
 # Enable two additional repositories
 # <sig-altarch>: All SBC-specific stuff that is not "Enterprise Linux" (uboot, on-board WiFi/BT firmware and other tools)