Fix function pointer miscompilation on ARM