kernel.org dns broken

[Atticus]

I can't resolve anything for kernel.org from Verizon's 3G network, or from
HE in California. I'm using HE's nameservers, with Google's as a backup.
Neither of them have any records. Anyone know what's up?

-- 
FT3(SU) Byron Grobe, USN