Linux

AFAIK the a-b-c enumeration comes from hardware, so for example whichever sata port you use in a motherboard would always get the same identifier. You'd need to turn off all four nodes and check the disks are indeed connected in exactly the same ports. If that fails, then I'd assume the motherboards are from different batched or soldered differently for whatever reasons.