Working copy of genkernel tree to receive pull requests