Use 'frozen' terminology
Rename headnode_power_{on,off} to headnode_{start,stop}
Remove confusing clause in consistency model doc