If everything is C why not generate the entire bootloader to kernel stack with programs specifically tailored to the user.

Tokens cost money; bugs get created and have to be found and fixed. Mature software has been more valuable than new software since 1946.