. . they were not allowed to offer any other OS on any model that was available with Windows. If they offered Linux it had to be a different SKU (Stocking Unit) and Winodws could not be available for that model designation.
That would make it imposible for them to offer Linux under customization, you'd have to know the model number (often not listed) for the Linux SKU.