Speaking from a former buyer of hardware, I can tell you from long experience, it is *really* hard to specify coreboot as a mandatory requirement. I've got stories going back 17 years now.
Even when it makes sense, it's hard.
I don't think we should count on the gov't to do the right thing.
ron