What makes you think they wouldn’t if they felt it would be useful? Or more likely, require a particular government-endorsed Linux.