And so many more are hidden in there, in those MLoCs.

The only way forward is a better system architecture, as enabled by the seL4[0] microkernel.

Any solution involving keeping Linux or the monolithic kernel is just stopgap or outright delusional.

0. https://sel4.systems