Assembler changes with the gcc-47 distribution from ARM mean that we nee...

...d to be explicit about branch sizes; one or more of the wide branch opcodes results in bad table branching.