So, a package which installs an early running startup script which creates the /home/user/.cherry_state file at boot time if it doesn't exist, and which can be installed before installing PR1.2, should be a fix?