Google Summer of Code/Ideas/Manage kernel configurations