The largest and oldest bank here in Brazil migrated all of its ATMs and branch manager desktops from OS/2 to Linux a decade ago; the other large banks I know of in Brazil seem to use Windows for desktops (and probably also their ATMs). I don't know about other countries, but it wouldn't surprise me if their banks have also migrated to something other than OS/2.