Only assume 20 bit return address with newer MSP430 GCC