thumb2: shave a byte off
thumb2: optimize thumb2 a bit more

also update the binaries files