kernel.org dns broken

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