do you guys have your kernel sources available