I have hopes of a path to a radically smaller kernel and loadables for the things not integrated by default. The end would be a path to a kernel Makefile specifying the minimum set, so a path from loadable to static, but with smaller state than generic and smaller critical dependency size.