Use latest AGNi kernel config