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