The figures are, if anything, an underestimate.

An acre of solar is about 350-450,000 kWh/year. An F-150 Lightning does 2 miles per kWh. So that's about right.

One acre of corn makes about 400 gallons of bioethanol. Even the newest F-150s do an atrocious 18 mpg in real usage, so you need nearly 1500 gallons to go 25,000 miles. So this figure is presumably ignoring the non-ethanol content of the fuel, which is most of it.