RE: Where is the FC3 kernel Source?