What a coincidence. @pepyakin and me did a hackathon last week with exactly this subject. We ported pallet-contracts to to accept eBPF contracts to see if it is viable to support this bytecode. It isn’t Solana compatible but uses the pallet-contracts API.
We got a proof of concept working. There will be a writeup posted later this week.
I think what they are talking about here is the static verification that the kernel uses to elide gas metering and bound checks. However, Solana uses a modified eBPF which is turing complete and does all of this at runtime.
So this doesn’t really apply here. Using the original eBPF would be a real PITA. Contracts would need to be written in a way to be statically proofen to terminate. Gas metering doesn’t add enough overhead to justify this IMHO.