davidysson: AFAIK, everybody can edit the wiki including you.
Its good to discuss here though! before or after editing to raise attention to changes.
I am not sure i quite understand your edit though. Are you saying the change only happens when rebooting after flash upgrade ? If it can happen during any "normal" reboot, i am worried how to apply your workaround when rebooting remotely. And if you reboot after flashing, how about performing a power cycle ?
Just trying to understand more clearly.