None of those companies have a logistics chain which would at all be suitable for the US federal government.

Even in corporate, there's basically two vendors - Dell, and a distant second Lenovo, with Apple having a foothold in niche usecases.