void __write_extended_word(unsigned long addr, unsigned value);
__write_extended_word writes the word value to the 20-bit extended address addr.
__write_extended_word can only be used on MSP430X devices.