> ok guenther@
> 
> Or maybe keep it but make it a read-write sysctl entry instead?  Might be
> interesting to try running a system with different page sizes!

You're a few days too early for such a suggestion...