Update msp430 to the modified nesc atomicity annotations