Is there a way to change pagepool without flashing ?

[nmhusa]

Considering all the people working on this phone, I am still surprised that there is no way to change the pagepool without a Rom update via the pagepool changer app. Are the registry settings for the pagepool unknown or do they keep resetting after a soft reset. In the latter case wouldn't it be possible to write a script to change them back on a soft reset ?