The one time I try to pull down the android source, kernel.org is down for maintenance. What are the odds.