diff --git a/common/environment/setup/misc.sh b/common/environment/setup/misc.sh
index 46c6b38b3e..34e6cbf770 100644
--- a/common/environment/setup/misc.sh
+++ b/common/environment/setup/misc.sh
@@ -10,8 +10,7 @@ UBUNTU_SITE="http://archive.ubuntu.com/ubuntu/pool"
 XORG_SITE="http://xorg.freedesktop.org/releases/individual"
 DEBIAN_SITE="http://ftp.debian.org/debian/pool"
 GNOME_SITE="http://ftp.gnome.org/pub/GNOME/sources"
-KERNEL_SITE="http://www.kernel.org/pub/linux"
-#KERNEL_SITE="http://mirror.be.gbxs.net/pub/linux"
+KERNEL_SITE="https://www.kernel.org/pub/linux"
 CPAN_SITE="http://cpan.perl.org/modules/by-module"
 PYPI_SITE="https://files.pythonhosted.org/packages/source"
 MOZILLA_SITE="http://ftp.mozilla.org/pub"