Google Summer of Code/2013/Ideas/Manage kernel configurations