I was mostly responding to

> [...] if I want some low power linux PC replacement with display output, for the price of the latest RPi 5, I can buy on the used market a ~2018 laptop

I guess. I don't care about the AI hat at all.