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