Are 64-bit apps faster than 32-bit apps? (feat. Ubuntu for Raspberry Pi)