Intel notified vendors, (such as MS), so I'd assume the U.S. government would get these patches as well, I would also guess that any large customers of intel, (including the Gov), got some level of advanced notice, just probably not before any other large customers, which I do not see a problem with.