Wild guess - kernel.org was compromised some years ago, maybe they never rebuilt that service. Also, consider what would have happened if boot.kernel.org was co

Wild guess - kernel.org was compromised some years ago, maybe they never rebuilt that service. Also, consider what would have happened if boot.kernel.org was compromised at the same time as kernel.org? :)