[ARM SMP] Fix another ARMv6 bitop problem