If this is the case, then we can throw out many things that actually are computers as well, including anything that isn’t strictly a desktop matching very specific parameters - systems like Fugaku (arm with a hybrid os) or Frontier don’t count because of their slingshot network etc etc.

It just feels like a slippery slope to start discounting things like this.

It’s my understanding that the ps4 (and presumably the ps5) use bsd as a base operating system. BIOS or no, it’s a Unix system running on an x86_64 architecture.