This is the only unmerged commit of the ez430-reboot-bug branch. See discussion in #1. All other commits have already been merged to master in 28079bf1.
@salagnac
Can you please double-check and hit the merge button? I guess there should be no harm in merging this.