multiple bux fixes by tinhead, see comment in xtensa.py