changed kernel config target