Using stock kernel config