added kernel config sources from https://code.google.com/p/menuconfig/