Yeah the retro gaming handheld community has some Linux viable ones with PortMaster but its just not the same as an officially supported mini Steam machine. I know its silly but I want one that is pocket-able instead of the massive SD.
That being said I love the Miyoo Mini Plus and other linux handhelds. They are flipping awesome!