pikvm solution is a Raspberry Pi Zero 2 W + HDMI CSI cable + pi pico for atx control + usb c splitter. It's actually cheaper. And once you put it together, you run stock pikvm image with smooth upgrades, etc.