Web-interface to quickly generate a customized Linux kernel config