Para a otimização de desempenho, eu deveria poder trocar bits no ACTLR register da cp15 unit. Eu fiz coisas como essa antes em projetos bare-metal, mas do espaço do usuário linux eu não posso executar mcr e mrc por uma boa razão (modo privilegiado necessário). E estou ciente de que as alterações no registro do coprocessador terão implicações especiais em um ambiente multiusuário.
Então, obviamente, eu preciso de uma interface de kernel para fazer uma coisa dessas, mas não importa o termo que eu procure na pesquisa na web, eu não acho nada assim.
Bem, se nada como isto é implementado em qualquer módulo do kernel, eu tenho uma chance em tudo além de tirar um dos núcleos de braço do meu Linux e ter um trabalho bare metal rodando lá?