introduce possibility to use an existing kernel config