IBM never left HPC. They sold off their x86 lines, but all their big toys run POWER variants.