pronto: Compile in kernel rather than module