Probably?
Snowden leaks already show NSA has badbios-style firmware viruses targeting every manufacturer, every model, going back a decade. Imagine what they have today. Why not mass infect all hard drives at the factory? Targeting individuals or "thematic warrants" are still too clunk and doesn't scale.
All these folks who say "I'll out smart them, I'll encrypt my SSD and Fedex it" are "Not Even Wrong."