The firings are in addition to the roughly 75,000 workers who have taken a buyout that Trump and Musk have offered to get them to leave voluntarily, according to the White House.