Gicio:
You are spot-on - maintain an image of the O/S and have a "future state manager" for all other aspects of the stack - HAL, Device Drivers, Patches/Fixes, Applications and customizations.
...