Main repository with kernel 3.5 sources