xtensa: clean up inline assembly in futex.h