This will happen for real. But then a JIT-like process will generate regular code for efficiency, on the fly in the background.
The only viable scenario for that kind of ji approach would be a profiler that analyzes load patterns and recompiles kernel modules with optimal compiler flags for a specific use case. Dynamically generating kernel code from scratch would kill the system with compilation and ast verification overhead