Use franco kernel config