Clean up ARM old-ABI symbol versioning relics.