

Maybe, but it’s hard to know that. Something running in the firmware of a chip in an embedded device is harder to identify than something powering the whole device. There’s also no reliable, publicly available statistics on embedded OSes I could find. So yeah, Linux might not be the most common kernel for embedded systems.
An AMD GPU and Bazzite would be great for you. The AMD GPU makes installing any Linux system easier, cause the drivers are already there.