Add mechanism to merge kernel config settings