Revert last modification for ARM